Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы
Рассматривается метод точного троичного моделирования синхронных последовательностных схем. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в состояния схемы строятся путем перемножения функций переходов или их инверсий в соответствии с кода...
| Published in: | Таврический научный обозреватель № 4, ч. 1. С. 122-135 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498 Перейти в каталог НБ ТГУ |