![Hardcover Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien [German] Book](https://i.thriftbooks.com/api/imagehandler/m/B3470BB159F3D242B4933CF93418C2E8C804D76D.jpeg)
Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien [German]
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, die sowohl funktionale als auch nicht-funktionale Aspekte behandeln, und beschreibt zudem Korrespondenzanalysen zwischen der Hardware- und VP-Ebene, um die auf verschiedenen Abstraktionsebenen verf gbaren Informationen zu nutzen. Alle Ans tze werden ausf hrlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivit t bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Dar ber hinaus legt das Buch einen besonderen Schwerpunkt auf den modernen RISC-V ISA, mit mehreren Fallstudien, die sowohl Aspekteder Modellierung als auch der VP- und SW-Verifikation abdecken.
Customer Reviews
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
