Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams
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.
Unable to display preview. Download preview PDF.