£90.00

Springer Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Price data last checked 59 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 32 days • 32 data points (No recent data available)

Historical
Generating forecast...
£90.11 £89.98 £90.01 £90.04 £90.06 £90.09 £90.12 25 January 2026 01 February 2026 09 February 2026 17 February 2026 25 February 2026

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price
32 days 0 8 16 24 32 £90 Days at Price

Price Analysis

Most common price: £90 (32 days, 100.0%)

Price range: £90 - £90

Price levels: 1 different prices over 32 days

Description
This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic data flow tracking. The approaches are accompanied by Case-Studies that develop and build on top of an open-source RISC-V SoC simulation. In Particular, this book:

Product Specifications
Brand
Springer
Format
Hardcover
ASIN
3031516915
Category
Books > Subjects > Computing & Internet > Hardware & DIY
Domain
Amazon UK
Release Date
26 March 2024
Listed Since
29 November 2023

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£59.01 08 Mar 2026
Advanced HDL Synthesis and SOC Prototyping: RTL Design Using Verilog
93% match

Advanced HDL Synthesis and SOC Prototyping: RTL Design Using Verilog

Springer

£112.84 29 Jan 2026
Processor and System-on-Chip Simulation
93% match

Processor and System-on-Chip Simulation

Springer

£77.68 08 Mar 2026
Springer - Formal Methods and Models for System Design Book
93% match

Springer - Formal Methods and Models for System Design Book

Springer

£104.85 18 Apr 2026
SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE: DESIGN AND IMPLEMENTATION OF A 16-BIT RISC-BASED PROCESSOR ARCHITECTURE WITH SYSTEMC LANGUAGE
93% match

SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE: DESIGN AND IMPLEMENTATION OF A 16-BIT RISC-BASED PROCESSOR ARCHITECTURE WITH SYSTEMC LANGUAGE

VDM Verlag

£57.65 02 Mar 2026
Scalable Hardware Verification with Symbolic Simulation
93% match

Scalable Hardware Verification with Symbolic Simulation

Springer

£57.40 23 Feb 2026
System-on-Chip Security: Validation and Verification
92% match

System-on-Chip Security: Validation and Verification

Springer

£57.91 01 Mar 2026
Formal System Verification: State-of the-Art and Future Trends
92% match

Formal System Verification: State-of the-Art and Future Trends

Springer

£89.13 11 Jan 2026
Reconfigurable System Design and Verification
92% match

Reconfigurable System Design and Verification

CRC Press

£80.40 21 Feb 2026
Advanced Digital System Design using SoC FPGAs: An Integrated Hardware/Software Approach
92% match

Advanced Digital System Design using SoC FPGAs: An Integrated Hardware/Software Approach

Springer

£69.40 05 Mar 2026
Springer - A Platform-Centric Approach to SoC Design Book
92% match

Springer - A Platform-Centric Approach to SoC Design Book

Springer

£129.99 02 Mar 2026
Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
92% match

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms

Springer

£74.55 28 Feb 2026
Verification Methodology Manual for SystemVerilog
92% match

Verification Methodology Manual for SystemVerilog

Springer

£85.01 02 Mar 2026
Springer - Processor Design: SoC Computing for ASICs and FPGAs
92% match

Springer - Processor Design: SoC Computing for ASICs and FPGAs

Springer

£80.63 01 Mar 2026
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
92% match

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Springer

£90.32 08 Mar 2026
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
92% match

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Springer

£115.91 25 Jan 2026
Writing Testbenches using SystemVerilog
92% match

Writing Testbenches using SystemVerilog

Springer

£155.97 20 Jan 2026
Functional Verification of Dynamically Reconfigurable FPGA-based Systems
92% match

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Springer

£75.84 07 Mar 2026
The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits
92% match

The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits

Springer

£93.61 01 Mar 2026
Digital Design from the VLSI Perspective: Concepts for VLSI Beginners
92% match

Digital Design from the VLSI Perspective: Concepts for VLSI Beginners

Springer

£38.67 07 Mar 2026
SystemVerilog for Hardware Description: RTL Design and Verification
92% match

SystemVerilog for Hardware Description: RTL Design and Verification

Springer

£79.93 24 Jan 2026
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
92% match

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

£107.73 28 Feb 2026
Fast Simulation of Computer Architectures
92% match

Fast Simulation of Computer Architectures

Springer

£75.23 08 Mar 2026
The Simple Art of SoC Design: Closing the Gap between RTL and ESL
92% match

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

Springer

£72.56 02 Mar 2026