RU/ENG



Верификация логических описаний с функциональной неопределенностью на основе моделирования

Тематики МЕТОДОЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ
Авторы Черемисинова Людмила Дмитриевна
Номер2016'2(14)
Страницы409-416
Ключевые словаавтоматизация проектирования, верификация, моделирование
Аннотация Рассматривается подход к верификации логических описаний комбинационных устройств для случая, когда исходное функциональное описание проектируемой схемы не полностью определено. Предлагаемый подход основан на моделировании поведения схемы для общего случая, когда входные стимулы представляются троичными векторами
Текст статьи Доступ к полному тексту открыт