£56.89

Morgan Kaufmann Verification Techniques for System-Level Design (Systems on Silicon)

Illustrated

Price data last checked 8 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£57 today · previous high £57 · all-time low £56

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 83 days · 83 data points (no recent data)

Historical
Generating forecast…
£56.89 £55.46 £55.77 £56.08 £56.40 £56.71 £57.02 14 April 2026 04 May 2026 25 May 2026 14 June 2026 05 July 2026

Price Distribution

Price distribution over 83 days • 2 price levels

Days at Price
Current Price
34 days 49 days · current 0 12 25 37 49 £56 £57 Days at Price

Price Analysis

Most common price: £57 (49 days, 59.0%)

Price range: £56 - £57

Price levels: 2 different prices over 83 days

Description

This book will explain how to verify SoC (Systems on Chip) logic designs using “formal and “semiformal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in “functional verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs. First book that covers all aspects of formal and semiformal, high-level (higher than RTL) design verification targeting SoC designs Formal verification of high-level designs (RTL or higher) Verification techniques are discussed with associated system-level design methodology

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
28 December 2007
Listed Since
18 June 2007

Barcode

No barcode data available

Similar Products You Might Like

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
85% match

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Springer

£75.68 31 May 2026
System-on-Chip Security: Validation and Verification
85% match

System-on-Chip Security: Validation and Verification

Springer

£80.64 17 Jun 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
85% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£78.07 06 Jun 2026
Symbolic Simulation Methods for Industrial Formal Verification
84% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
84% match

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Springer

£129.99 12 Jun 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
84% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£78.80 31 May 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
84% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£73.38 25 May 2026
Writing Testbenches using SystemVerilog
83% match

Writing Testbenches using SystemVerilog

Springer

£88.17 27 May 2026
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
83% match

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

Springer

£80.64 12 Jun 2026
Post-Silicon and Runtime Verification for Modern Processors
82% match

Post-Silicon and Runtime Verification for Modern Processors

Springer

£107.98 02 Jun 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
82% match

Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods

Springer

£49.96 03 Jun 2026
A Practical Approach to VLSI System on Chip (SoC) Design: A Comprehensive Guide
82% match

A Practical Approach to VLSI System on Chip (SoC) Design: A Comprehensive Guide

Springer

£84.29 13 May 2026
A Practical Guide for SystemVerilog Assertions
82% match

A Practical Guide for SystemVerilog Assertions

Springer

£107.98 18 May 2026
Open Verification Methodology Cookbook
82% match

Open Verification Methodology Cookbook

Springer

£103.24 29 May 2026
System Level Hardware/Software Co-Design: An Industrial Approach
82% match

System Level Hardware/Software Co-Design: An Industrial Approach

Springer

£107.93 27 May 2026
Formal Semantics and Proof Techniques for Optimizing VHDL Models
81% match

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Springer

£73.75 01 Jun 2026
Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems
81% match

Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems

Springer

£114.83 27 May 2026
Creating Assertion-Based IP (Integrated Circuits and Systems)
81% match

Creating Assertion-Based IP (Integrated Circuits and Systems)

Springer

£80.64 11 Jun 2026
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
81% match

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Springer

£120.00 16 May 2026
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)
81% match

Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)

Springer

£80.64 24 May 2026
The Simple Art of SoC Design: Closing the Gap between RTL and ESL
80% match

The Simple Art of SoC Design: Closing the Gap between RTL and ESL

Springer

£94.79 12 Jun 2026
Debugging at the Electronic System Level
80% match

Debugging at the Electronic System Level

Springer

£75.68 21 May 2026
Constraint-Based Verification
80% match

Constraint-Based Verification

Springer

£39.10 03 Jun 2026