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
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Status: Available

Similar Items