(1995) Efficient obdd-based Boolean manipulation in cad beyond current limits. on computer aided design, ICCAD 93, Digest of technical papers, Nov. (1993) Algebraic decision diagrams and their applications. of Tallinn Technical University, Tallinn, Estonia, br.
(1990) New test design techniques for fault detection in digital objects. of Design Automation and Fault-Tolerant Computing, OctĪlango, V., Kont, T., Ubar, R. (1978) Functional testing with binary decision diagrams. The paper gives a short historical overview of the development of SSBDDs and HLDDs.Īkers, S.B. Such a topological view allowed to generalize the knowledge and methods of test synthesis and fault analysis from the Boolean level to higher register-transfer and behavior levels of digital systems by introducing High-Level DDs (HLDD). The main concept of using SSBDDs is laying on the topological view on the graphs, where each path on a SSBDD can be mapped directly to a subcircuit of the related circuit. Such problems are, for example, direct representation of faults, fault collapsing and fault masking, delay testing, hazard detection, etc. Such a mapping allowed to investigate and solve with SSBDDs a lot of test and diagnosis related problems of digital circuits, which are associated explicitly with the structure.
The idea of SSBDDs is to establish one-to-one mapping between the nodes of SSBDDs and signal paths in the related digital circuit. In this paper, a special class of BDDs is presented called Structurally Synthesized BDDs (SSBDD). BDDs have become the state-of-the-art data structure in VLSI CAD.
0 kommentar(er)
