Finding false paths in sequential circuits
Method of finding false paths in sequential circuits is developed. In contrast with heuristic approaches currently used abroad, the precise method based on applying operations on Reduced Ordered Binary Decision Diagrams (ROBDDs) extracted from the combinational part of a sequential controlling logic...
| Published in: | Russian physics journal Vol. 60, № 10. P. 1837-1844 |
|---|---|
| Other Authors: | , , , , |
| Format: | Article |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000635095 Перейти в каталог НБ ТГУ |