Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien [German]

by Vladimir Herdt

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, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugeh rige Software (SW) zugeschnitten sind. Die Abdeckung umfasst auch VP-Modellierungstechniken,...

• Format: Hardcover
• Language: German
• ISBN: 3031181735
• ISBN13: 9783031181733
• Release Date: January 2023
• Publisher: Springer Vieweg
• Length: 262 Pages
• Weight: 1.28 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"