Публікація:
Assertions-based mechanism for the functional verification of the digital designs

dc.contributor.authorHahanov, V. I.
dc.contributor.authorYegorov, O.
dc.contributor.authorZaychenko, S.
dc.contributor.authorParfentiy, A.
dc.contributor.authorKaminska, M.
dc.contributor.authorKiyaschenko, A. V.
dc.date.accessioned2016-09-01T12:20:14Z
dc.date.available2016-09-01T12:20:14Z
dc.date.issued2005
dc.description.abstractAccording 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.uk_UA
dc.identifier.citationVladimir 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)uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/1923
dc.language.isoenuk_UA
dc.publisherEWDTWuk_UA
dc.subjectverificationuk_UA
dc.subjectvalidationuk_UA
dc.subjectassertion engineuk_UA
dc.subjectPSLuk_UA
dc.titleAssertions-based mechanism for the functional verification of the digital designsuk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Завантаження...
Зображення мініатюри
Назва:
Хаханов_EWDTW_2005.pdf
Розмір:
767.9 KB
Формат:
Adobe Portable Document Format
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис: