Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never /
This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Yhteisötekijä: | |
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | englanti |
| Julkaistu: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Painos: | 1st ed. 2024. |
| Aiheet: | |
| Linkit: | https://doi.org/10.1007/978-3-031-51692-4 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Sisällysluettelo:
- Introduction
- Preliminaries
- Hardware and Environment Modeling
- Verification
- Conclusion and Future Work.