Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams

  • Raimund Ubar
  • Jaan Raik
  • Helena Kruus
  • Harri Lensen
  • Teet Evartson
Conference paper
Part of the Mathematics in Industry book series (MATHINDUSTRY, volume 12)

A novel hierarchical approach based on decision diagrams (DD) to modelling digital systems is introduced. Two new contributions are proposed: a new classof structurally synthesized binary DDs for modelling structural aspects of digital circuits, and DDs for high-level modelling of systems. Combination of both types of graphs allows to implement uniform formal approach to low- and high-level diagnostic modelling with increased efficiency of fault simulation and test generation for digital systems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    R.E.Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Computers, Vol.C-35, No8, 1986, pp.667-690.CrossRefGoogle Scholar
  2. [2]
    R.Ubar. Test Synthesis with Alternative Graphs. IEEE Design and Test of Computers, Spring 1996, pp.48-57.Google Scholar
  3. [3]
    J.Raik, R.Ubar. Fast test pattern generation for sequential circuits using DD representations. JETTA, Kluwer, Vol. 16, No. 3, pp. 213-226, 2000.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Raimund Ubar
    • 1
  • Jaan Raik
    • 1
  • Helena Kruus
    • 1
  • Harri Lensen
    • 1
  • Teet Evartson
    • 1
  1. 1.Department of Computer EngineeringTallinn University of TechnologyTallinnEstonia

Personalised recommendations