Three-value simulation of combinational and sequential circuits and its applications - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Three-value simulation of combinational and sequential circuits and its applications

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

Дата публикации в реестре: 2021-08-05T23:19:55Z

Аннотация:

Ключевые слова:
трехзначное моделирование, неизвестные значения, SAT решатель, ROBDD-графы

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

Источник: 2020 Moscow workshop on electronic and networking technologies (MWENT 2020), Moscow, Russia, 11-13 March 2020. [S. l.], 2020. P. 81-87

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