Enhanced virtual prototyping : featuring RISC-V case studies

Enhanced virtual prototyping : featuring RISC-V case studies / Vladimir Herdt, Daniel Grosse, Rolf Drechsler.

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Herdt, Vladimir (Author), Grosse, Daniel (Author), Drechsler, Rolf (Author)
Format: Electronic eBook
Language:English
Published: Cham, Switzerland : Springer, [2021]
Subjects:
Software prototyping.
Software prototyping
Computer engineering
Electronic circuits
Embedded computer systems
Internet of things
Online Access:Click for online access
Table of Contents:
  • Introduction
  • Preliminaries
  • An Open-Source RISC-V Evaluation Platform
  • Formal Verification of SystemC-based Designs using Symbolic Simulation
  • Coverage-guided Testing for Scalable Virtual Prototype Verification
  • Verification of Embedded Software Binaries using Virtual Prototypes
  • Validation of Firmware-Based Power Management using Virtual Prototypes
  • Register-Transfer Level Correspondence Analysis
  • Conclusion
  • Index.

Similar Items