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 |
| _version_ | 1828359826512543744 |
|---|---|
| author | A. Kamkin A. Kotsynyak S. Smolov A. Tatarnikov M. Chupilko A. Sortov |
| author_facet | A. Kamkin A. Kotsynyak S. Smolov A. Tatarnikov M. Chupilko A. Sortov |
| author_sort | A. Kamkin |
| collection | DOAJ |
| description | 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 integrated circuits (both design and manufacturing ones) cannot be removed. In spite of continuous development of computer-aided design (CAD) systems, test generation tools and approaches to analysis of circuits, verification remains the bottleneck of the microprocessor design cycle (it accounts for approximately 70 percent of total design resources). The article gives a brief overview of microprocessor verification tools, describes issues that commonly occur in industrial practice and analyzes possible ways to solve them. The main part of the article is dedicated to research in the field of hardware verification conducted at ISPRAS. It summarizes the outcomes of accomplished projects, describes the present works and formulates the directions of further research. |
| first_indexed | 2024-04-14T03:46:19Z |
| format | Article |
| id | doaj.art-bc4ad7a22bba48c4881fbf7c4764c0b0 |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-04-14T03:46:19Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-bc4ad7a22bba48c4881fbf7c4764c0b02022-12-22T02:14:14ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-0126114920010.15514/ISPRAS-2014-26(1)-5772Tools for Functional Verification of MicroprocessorsA. Kamkin0A. Kotsynyak1S. Smolov2A. Tatarnikov3M. Chupilko4A. Sortov5ИСП РАНИСП РАНИСП РАНИСП РАНИСП РАНИСП РАН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 integrated circuits (both design and manufacturing ones) cannot be removed. In spite of continuous development of computer-aided design (CAD) systems, test generation tools and approaches to analysis of circuits, verification remains the bottleneck of the microprocessor design cycle (it accounts for approximately 70 percent of total design resources). The article gives a brief overview of microprocessor verification tools, describes issues that commonly occur in industrial practice and analyzes possible ways to solve them. The main part of the article is dedicated to research in the field of hardware verification conducted at ISPRAS. It summarizes the outcomes of accomplished projects, describes the present works and formulates the directions of further research.https://ispranproceedings.elpub.ru/jour/article/view/771микропроцессорыцифровая аппаратураверификациявалидациятестированиегенерация тестовмоделированиеязыки описания архитектурыраспараллеливание |
| spellingShingle | A. Kamkin A. Kotsynyak S. Smolov A. Tatarnikov M. Chupilko A. Sortov Tools for Functional Verification of Microprocessors Труды Института системного программирования РАН микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание |
| title | Tools for Functional Verification of Microprocessors |
| title_full | Tools for Functional Verification of Microprocessors |
| title_fullStr | Tools for Functional Verification of Microprocessors |
| title_full_unstemmed | Tools for Functional Verification of Microprocessors |
| title_short | Tools for Functional Verification of Microprocessors |
| title_sort | tools for functional verification of microprocessors |
| topic | микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание |
| url | https://ispranproceedings.elpub.ru/jour/article/view/771 |
| work_keys_str_mv | AT akamkin toolsforfunctionalverificationofmicroprocessors AT akotsynyak toolsforfunctionalverificationofmicroprocessors AT ssmolov toolsforfunctionalverificationofmicroprocessors AT atatarnikov toolsforfunctionalverificationofmicroprocessors AT mchupilko toolsforfunctionalverificationofmicroprocessors AT asortov toolsforfunctionalverificationofmicroprocessors |