Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien

Einleitung -- Vorbemerkungen -- Eine quelloffene RISC-V-Evaluierungsplattform -- Formale Verifikation von SystemC-basierten Entwürfen mittels symbolischer Simulation -- Abdeckungsgesteuertes Testen für die skalierbare Verifikation von virtuellen Prototypen -- Verifikation von eingebetteten Software-...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Herdt, Vladimir [verfasserIn]

Große, Daniel [verfasserIn]

Drechsler, Rolf [verfasserIn]

Format:

E-Book

Sprache:

Deutsch

Erschienen:

Cham: Springer International Publishing ; 2022.

Cham: Imprint: Springer Vieweg ; 2022.

Ausgabe:

1st ed. 2022.

Schlagwörter:

Electronic circuits.

Embedded computer systems.

Cooperating objects (Computer systems).

Umfang:

1 Online-Ressource(XXIV, 262 S. 93 Abb., 65 Abb. in Farbe.)

Links:

Link aufrufen
Link aufrufen

ISBN:

978-3-031-18174-0

DOI / URN:

10.1007/978-3-031-18174-0

Katalog-ID:

1830228986

Nicht das Richtige dabei?

Schreiben Sie uns!