£65.61

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

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£66 today · cheaper than every other day in the last 3 months

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 63 days · 63 data points (no recent data)

Historical
Generating forecast…
£78.07 £64.36 £67.35 £70.34 £73.34 £76.33 £79.32 07 June 2026 22 June 2026 08 July 2026 23 July 2026 08 August 2026

Price Distribution

Price distribution over 63 days • 3 price levels

Days at Price
Current Price
14 days · current 48 days 1 day 0 12 24 36 48 £66 £76 £78 Days at Price

Price Analysis

Most common price: £76 (48 days, 76.2%)

Price range: £66 - £78

Price levels: 3 different prices over 63 days

Description

This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions. The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
20 September 2014
Listed Since
20 September 2014

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)
89% match

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

Springer

£75.68 06 Aug 2026
High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)
86% match

High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)

Springer

£115.06 01 Jul 2026
High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)
86% match

High-Level System Modeling: Specification and Design Methodologies: 4 (Current Issues in Electronic Modeling, 4)

Springer

£109.00 08 Aug 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
86% match

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Springer

£74.46 04 Aug 2026
ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)
86% match

ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)

Springer

£89.99 12 Aug 2026
ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)
86% match

ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)

Springer

£73.14 06 Aug 2026
System-on-Chip Security: Validation and Verification
85% match

System-on-Chip Security: Validation and Verification

Springer

£80.67 21 Aug 2026
System Synthesis with VHDL
85% match

System Synthesis with VHDL

Springer

£108.01 06 Aug 2026
Verification Techniques for System-Level Design (Systems on Silicon)
85% match

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

Elsevier

£56.98 30 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
85% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 2026
System Level Hardware/Software Co-Design: An Industrial Approach
84% match

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

Springer

£108.01 06 Aug 2026
Models in System Design: 9 (Current Issues in Electronic Modeling, 9)
84% match

Models in System Design: 9 (Current Issues in Electronic Modeling, 9)

Springer

£142.47 06 Aug 2026
Quality-Driven SystemC Design
84% match

Quality-Driven SystemC Design

Springer

£75.13 04 Aug 2026
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
84% match

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer

£88.14 29 Jul 2026
Harnessing VLSI System Design with EDA Tools
84% match

Harnessing VLSI System Design with EDA Tools

Springer

£74.46 05 Aug 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 13 Aug 2026
Debugging at the Electronic System Level
83% match

Debugging at the Electronic System Level

Springer

£75.68 04 Aug 2026
Hierarchical Modeling for VLSI Circuit Testing: 89 (The Springer International Series in Engineering and Computer Science, 89)
83% match

Hierarchical Modeling for VLSI Circuit Testing: 89 (The Springer International Series in Engineering and Computer Science, 89)

Springer

£74.38 06 Aug 2026
Advanced Techniques for Embedded Systems Design and Test
83% match

Advanced Techniques for Embedded Systems Design and Test

Springer

£109.67 05 Aug 2026
Abstract State Machines: A Method for High-Level System Design and Analysis
83% match

Abstract State Machines: A Method for High-Level System Design and Analysis

Springer

£39.77 31 Aug 2026
Creating Assertion-Based IP (Integrated Circuits and Systems)
83% match

Creating Assertion-Based IP (Integrated Circuits and Systems)

Springer

£80.67 12 Aug 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
83% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£79.14 06 Aug 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
83% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£74.08 05 Aug 2026
Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems
83% match

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

Springer

£133.69 06 Aug 2026