Zobacz książki o podobnej tematyce

Więcej informacji o Verbessertes virtuelles Prototyping

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 283 punkty

Opis

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 Aspekte der Modellierung als auch der VP- und SW-Verifikation abdecken.

Szczegóły książki

Kategoria Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Pełny tytuł: Verbessertes virtuelles Prototyping
• Podtytuł: Mit RISC-V-Fallstudien
• Autor: Vladimir Herdt, Daniel Große, Rolf Drechsler
• Język: Niemiecki
• Oprawa: Twarda
• Liczba stron: 262
• EAN: 9783031181733
• ID: 41464798
• Wydawca: Springer, Berlin
• Waga: 600 g
• Wymiary: 235 × 155 × 22 mm
• Rok wydania: 2023

---

---

---