УДК: 519.714

Программные средства верификации описаний комбинационных устройств в процессе логического проектирования

Л. Д. Черемисинова, д-р техн. наук, гл. науч. сотр., Д. Я. Новиков, канд. техн. наук, науч. сотр., Объединенный институт проблем информатики Национальной академии наук Беларуси, e-mail: cld@newman.bas-net.by

Рассмотрен комплекс методов и программных средств, которые обеспечивают эффективное решение задачи верификации описаний проектируемых комбинационных устройств на логическом уровне и позволяют обнаруживать ошибки на ранних этапах проектирования. Реализованы два подхода к решению задачи верификации: на основе моделирования комби-национной схемы и на основе сведения к задаче проверки выполнимости конъюнктивной нормальной формы.

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

Стр. 8–15