Vladimir Herdt (Autor), Daniel Große (Autor), Rolf Drechsler (Autor)
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, ...
PREIS:
