Проверка схемной реализации частичных булевых функций
Рассматривается задача верификации логических описаний одного и того же устройства, первое из которых поведенчески не полностью определено и задано в виде системы частично определенных булевых функций, а второе -задано в виде комбинационной схемы (в базисе многовходовых логических элементов типа...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 4. С. 102-111 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565696 Перейти в каталог НБ ТГУ |