Language for Describing Templates for Test Program Generation for Microprocessors
Test program generation and simulation is the most widely used approach to functional verification of microprocessors. High complexity of modern hardware designs creates a demand for automated tools that are able to generate test programs covering non-trivial situations in microprocessor functioning...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| Serija: | Труды Института системного программирования РАН |
| Teme: | |
| Online pristup: | https://ispranproceedings.elpub.ru/jour/article/view/140 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
