Finding False Paths in Sequential Circuits
- Authors: Маtrosova А.Y.1, Аndreeva V.V.1, Chernyshov S.V.1, Rozhkova S.V.2, Kudin D.V.3
-
Affiliations:
- National Research Tomsk State university
- National Research Tomsk Polytechnic University
- Geophysical Center of the Russian Academy of Sciences
- Issue: Vol 60, No 10 (2018)
- Pages: 1837-1844
- Section: Mathematical Processing of Physics Experimental Data
- URL: https://bakhtiniada.ru/1064-8887/article/view/239565
- DOI: https://doi.org/10.1007/s11182-018-1290-0
- ID: 239565
Cite item
Abstract
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 circuit is suggested. The method allows finding false paths when transfer sequence length is not more than the given value and obviates the necessity of investigation of combinational circuit equivalents of the given lengths. The possibilities of using of the developed method for more complicated circuits are discussed.
About the authors
А. Yu. Маtrosova
National Research Tomsk State university
Author for correspondence.
Email: mau11@Yandex.ru
Russian Federation, Tomsk
V. V. Аndreeva
National Research Tomsk State university
Email: mau11@Yandex.ru
Russian Federation, Tomsk
S. V. Chernyshov
National Research Tomsk State university
Email: mau11@Yandex.ru
Russian Federation, Tomsk
S. V. Rozhkova
National Research Tomsk Polytechnic University
Email: mau11@Yandex.ru
Russian Federation, Tomsk
D. V. Kudin
Geophysical Center of the Russian Academy of Sciences
Email: mau11@Yandex.ru
Russian Federation, Moscow
Supplementary files
