Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 7 2013 год

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

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

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