Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации

Голубева, Ольга Ивановна

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации

Дата публикации: 2020

Дата публикации в реестре: 2022-10-06T22:24:43Z

Аннотация:

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

Ключевые слова:
троичное моделирование, комбинационные схемы, SAT-решатели

Тип: статьи в сборниках

Источник: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 335-340

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация