£78.07

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

Price data checked 1 day ago

View at Amazon

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

New to our records — first sighting 6 days ago. We'll learn its rhythm.

6 days of data · current price £78

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 6 days • 6 data points

Historical
Generating forecast...
£78.07 £74.17 £75.73 £77.29 £78.85 £80.41 £81.97 01 June 2026 02 June 2026 03 June 2026 04 June 2026 06 June 2026

Price Distribution

Price distribution over 6 days • 1 price levels

Days at Price
6 days 0 2 3 5 6 £78 Days at Price

Price Analysis

Most common price: £78 (6 days, 100.0%)

Price range: £78 - £78

Price levels: 1 different prices over 6 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 31 May 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

£107.93 04 Jun 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

£73.16 18 May 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.10 31 May 2026
System-on-Chip Security: Validation and Verification
85% match

System-on-Chip Security: Validation and Verification

Springer

£80.64 06 Jun 2026
System Synthesis with VHDL
85% match

System Synthesis with VHDL

Springer

£107.98 29 May 2026
Systems and Software Verification: Model-Checking Techniques and Tools
85% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
System Level Hardware/Software Co-Design: An Industrial Approach
84% match

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

Springer

£107.93 27 May 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.01 31 May 2026
Quality-Driven SystemC Design
84% match

Quality-Driven SystemC Design

Springer

£74.42 21 May 2026
Harnessing VLSI System Design with EDA Tools
84% match

Harnessing VLSI System Design with EDA Tools

Springer

£73.75 25 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 03 Jun 2026
Debugging at the Electronic System Level
83% match

Debugging at the Electronic System Level

Springer

£75.68 21 May 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

£73.67 28 May 2026
Advanced Techniques for Embedded Systems Design and Test
83% match

Advanced Techniques for Embedded Systems Design and Test

Springer

£108.63 24 May 2026
Creating Assertion-Based IP (Integrated Circuits and Systems)
83% match

Creating Assertion-Based IP (Integrated Circuits and Systems)

Springer

£80.64 06 Jun 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
83% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

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

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£73.38 25 May 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

£114.83 27 May 2026
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)
83% 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
System Design: A Practical Guide with SpecC
83% match

System Design: A Practical Guide with SpecC

Springer

£111.83 26 May 2026
System Design: A Practical Guide with SpecC
83% match

System Design: A Practical Guide with SpecC

Springer

£108.01 25 May 2026
Formal Semantics and Proof Techniques for Optimizing VHDL Models
82% match

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Springer

£73.75 01 Jun 2026
Symbolic Simulation Methods for Industrial Formal Verification
82% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026