£61.83

Springer Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Price data last checked 10 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.

£62 today · previous high £62 · all-time low £62

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

Historical
Generating forecast…
£61.83 £61.80 £61.80 £61.81 £61.82 £61.83 £61.83 01 May 2026 19 May 2026 07 June 2026 26 June 2026 15 July 2026

Price Distribution

Price distribution over 76 days • 1 price levels

Days at Price
76 days 0 19 38 57 76 £62 Days at Price

Price Analysis

Most common price: £62 (76 days, 100.0%)

Price range: £62 - £62

Price levels: 1 different prices over 76 days

Description

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
16 October 2021
Listed Since
18 September 2021

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£90.00 03 Jul 2026
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
96% match

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

Springer

£88.19 09 Jul 2026
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
96% match

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Springer

£48.25 23 Jun 2026
Computer Organization and Design RISC-V Edition: The Hardware Software Interface (The Morgan Kaufmann Series in Computer Architecture and Design)
96% match

Computer Organization and Design RISC-V Edition: The Hardware Software Interface (The Morgan Kaufmann Series in Computer Architecture and Design)

Morgan Kaufmann

£69.49 11 Jul 2026
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
96% match

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

£103.39 03 Jul 2026
SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE: DESIGN AND IMPLEMENTATION OF A 16-BIT RISC-BASED PROCESSOR ARCHITECTURE WITH SYSTEMC LANGUAGE
96% 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 06 Jul 2026
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
96% match

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Springer

£76.41 14 Jul 2026
Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization
96% match

Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization

Springer

£103.26 15 Jul 2026
Verification Methodology Manual for SystemVerilog
96% match

Verification Methodology Manual for SystemVerilog

Springer

£85.07 06 Jul 2026
Guide to Computer Processor Architecture: A RISC-V Approach, with High-Level Synthesis (Undergraduate Topics in Computer Science)
96% match

Guide to Computer Processor Architecture: A RISC-V Approach, with High-Level Synthesis (Undergraduate Topics in Computer Science)

Springer

£41.81 04 Jul 2026
SystemVerilog for Hardware Description: RTL Design and Verification
96% match

SystemVerilog for Hardware Description: RTL Design and Verification

Springer

£58.49 11 Jul 2026
Post-Silicon and Runtime Verification for Modern Processors
96% match

Post-Silicon and Runtime Verification for Modern Processors

Springer

£106.78 13 Jul 2026
Optimized ASIP Synthesis from Architecture Description Language Models
95% match

Optimized ASIP Synthesis from Architecture Description Language Models

Springer

£77.87 07 Jul 2026
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog
95% match

Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog

Springer

£74.65 09 Jul 2026
System-on-Chip Security: Validation and Verification
95% match

System-on-Chip Security: Validation and Verification

Springer

£58.46 06 Jul 2026
PLD Based Design with VHDL: RTL Design, Synthesis and Implementation
95% match

PLD Based Design with VHDL: RTL Design, Synthesis and Implementation

Springer

£123.45 29 Jun 2026
Learning from VLSI Design Experience
95% match

Learning from VLSI Design Experience

Springer

£88.19 13 Jul 2026
Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
95% match

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

Springer

£74.55 04 Jul 2026
Embedded Microprocessor System Design using FPGAs
95% match

Embedded Microprocessor System Design using FPGAs

Springer

£101.42 10 Jul 2026
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
95% match

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

Springer

£104.44 04 Jul 2026
Multi-Processor System-on-Chip 2: Applications
95% match

Multi-Processor System-on-Chip 2: Applications

Wiley

£113.80 06 Jul 2026
Formal System Verification: State-of the-Art and Future Trends
95% match

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

Springer

£87.64 08 Jul 2026
Processor and System-on-Chip Simulation
95% match

Processor and System-on-Chip Simulation

Springer

£76.38 09 Jul 2026