Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
Рассматриваются методы точного троичного моделирования комбинационных схем, основанные на применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации проектируемых устройств....
| Опубликовано в: : | Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 - 5 декабря 2020 г., г. Орел) С. 335-340 |
|---|---|
| Главный автор: | |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000897776 Перейти в каталог НБ ТГУ |