Synthesis of High-Level Decision Diagrams for functional test pattern generation

In this paper we present two methods for synthesis of high-level decision diagrams (HLDD) for representing digital systems at higher behavior, functional or register-transfer levels. The first method is based on symbolic execution of procedural descriptions, which corresponds to functional representation of systems on the behavioral level. The second one is based on iterative superposition of HLDDs, and the created model corresponds to the high-level structural representation of the system. The second method can be regarded as the generalization of the superposition of BDDs as the basis for generation of structurally synthesized BDDs (SSBDD). Experimental data show the advantages of HLDDs.