Enhanced Virtual Prototyping: Featuring RISC-V Case Studies - Image 1

£61.44

Springer Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Name: Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Brand: Springer
Price: 61.15 GBP
Availability: InStock

Hardware & DIY

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 85 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £66 (51 days, 60.0%)

Price range: £61 - £66

Price levels: 2 different prices over 85 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

Brand: Springer
Format: paperback
ASIN: 3030548309
Category: Books > Subjects > Computing & Internet > Hardware & DIY
Domain: Amazon UK
Release Date: 16 October 2021
Listed Since: 18 September 2021

Barcode

No barcode data available

Springer Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Post-Silicon and Runtime Verification for Modern Processors

SystemVerilog for Hardware Description: RTL Design and Verification

Computers as Components: Principles of Embedded Computing System Design (The Morgan Kaufmann Series in Computer Architecture and Design)

Embedded Microprocessor System Design using FPGAs

SVA: The Power of Assertions in SystemVerilog

Fundamentals of IP and SoC Security: Design, Verification, and Debug

Digital Logic Design Using Verilog: Coding and RTL Synthesis

Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)

Surviving the SOC Revolution: A Guide to Platform-Based Design

Mikrocomputertechnik mit der 8051-Controller-Familie: Hardware, Assembler, C

Microprocessor and Interfacing: 8085 Architecture, Programming

Microprocessor Theory and Applications with 68000/68020 and Pentium

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)

Microprocessor Technology

The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage)

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques: Automatic Acceleration of Software Execution

Switch-Level Timing Simulation of MOS VLSI Circuits: 66 (The Springer International Series in Engineering and Computer Science, 66)

Digital Design (VHDL): An Embedded Systems Approach Using VHDL

Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)

Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications