Tallenna
Verbessertes virtuelles Prototyping
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.
- Alaotsikko
- Mit RISC-V-Fallstudien
- Kirjailija
- Vladimir Herdt, Daniel Große, Rolf Drechsler
- Painos
- 1. Aufl. 2022
- ISBN
- 9783031181733
- Kieli
- saksa
- Paino
- 446 grammaa
- Julkaisupäivä
- 2.1.2023
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 262
