{"product_id":"verbessertes-virtuelles-prototyping-mit-risc-v-fallstudien-9783031181733","title":"Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien","description":"\u003cp\u003e • Author(s): Vladimir Herdt | Daniel Große | Rolf Drechsler\u003cbr\u003e • Publisher: Springer Vieweg\u003cbr\u003e • Publisher Imprint: Springer Vieweg\u003cbr\u003e • BISAC: Electronics - Circuits - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eDieses 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.\u003c\/p\u003e\u003cbr\u003e\u003cp\u003e\u003c\/p\u003e","brand":"Atlantic Books","offers":[{"title":"Hardcover","offer_id":46447819849879,"sku":"9783031181733","price":6178.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031181733.webp?v=1769141865","url":"https:\/\/atlanticbooks.com\/products\/verbessertes-virtuelles-prototyping-mit-risc-v-fallstudien-9783031181733","provider":"Atlantic Books","version":"1.0","type":"link"}