Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never (2024)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic data flow tracking. The approaches are accompanied by Case-Studies that develop and build on top of an open-source RISC-V SoC simulation.In Particular, this book:
- Copyright:
- 2024
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783031516924
- Related ISBNs:
- 9783031516917
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 05/19/24
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Technology
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Pascal Pieper
- by Rolf Drechsler
- in Nonfiction
- in Computers and Internet
- in Technology