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: