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