ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ ОПИСАНИЙ С ФУНКЦИОНАЛЬНОЙ НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ МОДЕЛИРОВАНИЯ

Автор(ы): Черемисинова Людмила Дмитриевна

Рубрика: Методологические исследования

Выпуск: 2016-2 (14)

Страницы: 409-416

Ключевые слова: Автоматизация проектирования, Верификация, Моделирование

Аннотация: Рассматривается подход к верификации логических описаний комбинационных устройств для случая, когда исходное функциональное описание проектируемой схемы не полностью определено. Предлагаемый подход основан на моделировании поведения схемы для общего случая, когда входные стимулы представляются троичными векторами.

Библиографическая ссылка: Черемисинова Л.Д. ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ ОПИСАНИЙ С ФУНКЦИОНАЛЬНОЙ НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ МОДЕЛИРОВАНИЯ // Образовательные ресурсы и технологии. – 2016. – № 2 (14). – С. 409-416. doi: