Advertisement

Russian Physics Journal

, Volume 60, Issue 10, pp 1837–1844 | Cite as

Finding False Paths in Sequential Circuits

  • А. Yu. Маtrosova
  • V. V. Аndreeva
  • S. V. Chernyshov
  • S. V. Rozhkova
  • D. V. Kudin
MATHEMATICAL PROCESSING OF PHYSICS EXPERIMENTAL DATA

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.

Keywords

sequential circuit reduced ordered binary decision diagram (ROBDD) false path equivalent normal form path delay fault 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    A. Yu. Matrosova, C. A. Ostanin, and V. Singh, Avtom. Telemekh., No. 9, 126–142 (2013).Google Scholar
  2. 2.
    A. Yu. Matrosova and V. B. Lipskii, Avtom. Telemekh., No. 4, 135–148 (2015).Google Scholar
  3. 3.
    A. Yu. Matrosova, D. V. Kudin, and E. A. Nikolaeva, in: Proc. IEEE East-West Design & Test Symposium EWDTS 2014, Kiev (2014), pp. 179–184.Google Scholar
  4. 4.
    J. Zeng, M. S. Abadir, J. Bhadra, and J. Abraham, in: Proc. Design Automation and Test in Europe, Munich (2001), pp. 514–518.Google Scholar
  5. 5.
    А.Yu. Matrosova, Algorithms of Test Design [in Russian], Publishing House of Tomsk State University, Tomsk (1990).Google Scholar
  6. 6.
    A. Yu. Matrosova, I. E. Kirienko, V. V. Tomkov, and A. A. Miryutov, Russ. Phys. J., 59, No. 8, 1281–1288 (2016).CrossRefGoogle Scholar
  7. 7.
    A. Matrosova, V. Andreeva, and A. Melnikov, IEEE East–West Design Test Symposium EWDTS, Erevan (2016), pp. 1–4.Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  • А. Yu. Маtrosova
    • 1
  • V. V. Аndreeva
    • 1
  • S. V. Chernyshov
    • 1
  • S. V. Rozhkova
    • 2
  • D. V. Kudin
    • 3
  1. 1.National Research Tomsk State universityTomskRussia
  2. 2.National Research Tomsk Polytechnic UniversityTomskRussia
  3. 3.Geophysical Center of the Russian Academy of SciencesMoscowRussia

Personalised recommendations