Assertions-based mechanism for the functional verification of the digital designs
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Assertions-based mechanism for the functional verification of the digital designs
|
|
| Creator |
Hahanov, V. I.
Yegorov, O. Zaychenko, S. Parfentiy, A. Kaminska, M. Kiyaschenko, A. V. |
|
| Subject |
verification
validation assertion engine PSL |
|
| Description |
According to [1] the verification cost of the digital devices, designed on the base of ASIC, IP-core, SoC technologies, takes up to 70% of the overall design cost. Similarly, up to 80% of the project source code implements a testbench. Reducing these two mentioned parameters minimizes timeto-market, and this is one of the main problems for the world-leading companies in the area of Electronic Design Automation (EDA). The goal of the verification tasks is to eliminate all design errors as early as possible to meet the requirements of the specification. Passing the error through the subsequent design stages (from a block to a chip, and later to a system) each time increases the cost of it’s elimination. Validation – a higher-level verification model – confirms the correctness of the project against the problems in the implementation of the major specified functionality. The goal of this paper is to noticeably decrease the verification time by extending the design with software-based redundancy – the assertions mechanism [2-5], which allows to simply analyze the major specified constraints during the device simulation process and to diagnose the errors in case of their detection. To achieve the declared goal it is necessary to solve the following problems: 1. To formalize the assertions-based product verification process model. 2. To develop the software components for synthesis and analysis of the assertions for the functionality, blocks and the entire system. 3. To get experimental confirmation of the benefits from using assertions to reduce time-to-market or, in other words, to noticeably reduce verification and overall design time.
|
|
| Date |
2016-09-01T12:20:14Z
2016-09-01T12:20:14Z 2005 |
|
| Type |
Article
|
|
| Identifier |
Vladimir Hahanov Assertions-based mechanism for the functional verification of the digital designs/ Vladimir Hahanov, Oleksandr Yegorov, Sergiy Zaychenko, Alexander Parfentiy, Maryna Kaminska, Anna Kiyaschenko //Proceedings of IEEE East-West Design & Test Workshop (EWDTW’05)
http://openarchive.nure.ua/handle/document/1923 |
|
| Language |
en
|
|
| Publisher |
EWDTW
|
|