ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself
| Published in: | Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016 P. 513-516 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Book Chapter |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000616216 Перейти в каталог НБ ТГУ |