Verbessertes virtuelles Prototyping

Verbessertes virtuelles Prototyping

Mit RISC-V-Fallstudien

Drechsler, Rolf; Herdt, Vladimir; Grosse, Daniel

Springer Fachmedien Wiesbaden

01/2023

262

Dura

Alemão

9783031181733

15 a 20 dias

600

Descrição não disponível.

Einleitung.- Vorbemerkungen.- Eine quelloffene RISC-V-Evaluierungsplattform.- Formale Verifikation von SystemC-basierten Entwuerfen mittels symbolischer Simulation.- Abdeckungsgesteuertes Testen fuer die skalierbare Verifikation von virtuellen Prototypen.- Verifikation von eingebetteten Software-Binaerdateien mittels virtueller Prototypen.- Validierung von Firmware-basiertem Power Management mittels virtueller Prototypen.- Korrespondenzanalyse auf Register-Transfer-Ebene.- Fazit.- Index.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Virtuelle Prototypen auf der Ebene elektronischer Systeme;SystemC-basierte virtuelle Prototypen;Formale UEberpruefung von virtuellen Prototypen;Tests fuer die Verifizierung von virtuellen Prototypen;Verifizierung mit virtuellen Prototypen