Academic Journals Database
Disseminating quality controlled scientific knowledge

Overview about Low-Level and High-Level Decision Diagrams for Diagnostic Modeling of Digital Systems

ADD TO MY LIST
 
Author(s): Raimund Ubar

Journal: Facta Universitatis Series : Electronics and Energetics
ISSN 0353-3670

Volume: 24;
Issue: 3;
Start page: 303;
Date: 2011;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Binary Decision Diagrams | logic level and high level BDDs | structurally synthesized BDDs.

ABSTRACT
BDDs have become the state-of-the-art data structure in VLSI CAD. Inthis paper, a special class of BDDs is presented called Structurally Synthesized BDDs(SSBDD). The idea of SSBDDs is to establish one-to-one mapping between the nodesof SSBDDs and signal paths in the related digital circuit. Such a mapping allowedto investigate and solve with SSBDDs a lot of test and diagnosis related problems ofdigital circuits, which are associated explicitly with the structure. Such problems are,for example, direct representation of faults, fault collapsing and fault masking, delaytesting, hazard detection, etc. The main concept of using SSBDDs is laying on thetopological view on the graphs, where each path on a SSBDD can be mapped directlyto a subcircuit of the related circuit. Such a topological view allowed to generalizethe knowledge and methods of test synthesis and fault analysis from the Boolean levelto higher register-transfer and behavior levels of digital systems by introducing High-Level DDs (HLDD). The paper gives a short historical overview of the developmentof SSBDDs and HLDDs.

Tango Rapperswil
Tango Rapperswil

     Save time & money - Smart Internet Solutions