Tools for Functional Verification of Microprocessors
Ensuring the correctness of microprocessors and other microelectronic equipment is a fundamental problem. To deal with it, various tools for functional verification are used. Unlike bugs in software programs which are relatively easy to fix (it does not apply to their consequences), defects in integ...
| المؤلفون الرئيسيون: | , , , , , |
|---|---|
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| سلاسل: | Труды Института системного программирования РАН |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://ispranproceedings.elpub.ru/jour/article/view/771 |