Search academic texts

Information × Registration Number 0411U002606, Candidate dissertation Status к.т.н. Date 27-04-2011 popup.evolution o Title Models and methods for the functional verification of digital systems, based on the temporal assertions Author Zaychenko Sergey Aleksandrovich, popup.head Hahanov Vladimir Ivanovich popup.opponent Краснобаєв Віктор Анатолійович popup.opponent Хажмурадов Манап Ахмадович Description Об'єкт дослідження - процес проектування та верифікації цифрових систем на кристалах за допомогою мов опису апаратури високого рівня та HDL-симулятора. Мета дисертаційного дослідження - розробка моделей та методів функціональної верифікації цифрових систем на кристалах на основі використання темпоральних асерцій при тестовому діагностуванні помилок в процесі програмно-апаратного моделювання для істотного підвищення якості цифрового виробу та зменшення часових і матеріальних витрат проектування. Основні результати: аналітична модель верифікації HDL-коду на основі використання динамічних регістрових черг, орієнтована на аналіз асерцій лінійної темпоральної логіки, яка забезпечує високу швидкодію моделювання та задану глибину діагностування помилок коду; модель інтерпретації лінійної темпоральної логіки з використанням режиму "глобального" часу, призначена для перевірки формул під час симуляції; методи аналізу механізму асерцій, які дають можливість істотно підвищити швидкодію моделювання та на 15% зменшити час верифікації проекту; модель взаємодії даних регістрового рівня та процес-моделі обробки подій і функцій-черг, які забезпечують покращення параметрів транспортування подій в процесі моделювання; інфраструктура процесу верифікації та діагностування проектованого виробу, яка відрізняється введенням у програмний код надлишковостей у вигляді асерций та апаратною підтримкою моделювання, що дозволяє на 30% зменшити загальний час проектування цифрових систем на кристалах; програмні компоненти системи верифікації Riviera (Aldec Inc.), в яких реалізовано моделі та методи функціональної верифікації на основі темпоральних асерцій, що дає можливість істотно (20%-80%) зменшити часові витрати для моделювання функціональності та асерцій в процесі тестування цифрових проектів. Registration Date 2011-04-27 popup.nrat_date 2020-04-04 Close