Enhanced Virtual Prototyping: Featuring Risc-V Case Studies

by Daniel Große, Rolf Drechsler, Vladimir Herdt

Book Overview

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

• Format: Hardcover
• Language: English
• ISBN: 3030548279
• ISBN13: 9783030548278
• Release Date: October 2020
• Publisher: Springer
• Length: 247 Pages
• Weight: 1.23 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"