Enhanced virtual prototyping : featuring RISC-V case studies /
Saved in:
Author / Creator: | Herdt, Vladimir, author. |
---|---|
Imprint: | Cham, Switzerland : Springer, [2021] |
Description: | 1 online resource (257 pages) |
Language: | English |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12608841 |
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.