OPTIMIZATION OF STRUCTURALLY SYNTHESIZED BDDS

作者: R. Ubar

DOI:

关键词:

摘要: Binary Decision Diagrams present an efficient way of modeling digital systems for simulation purposes. In order to take into account the need representing faults directly in BDDs fault and test generation a special class BDDs, refered as structurally synthesized is used paper. It shown that efficiency using SSBDD highly depends on distribution probabilities input signal values nodes are ordered SSBDDs. A method algorithm optimal ordering SSBDDs given presented Experimental data show increase speed by with correspondingly reordered nodes.

参考文章(9)
Rolf Drechsler, Bernd Becker, Binary Decision Diagrams: Theory and Implementation ,(2013)
Akers, Binary Decision Diagrams IEEE Transactions on Computers. ,vol. 27, pp. 509- 516 ,(1978) , 10.1109/TC.1978.1675141
A. Jutman, R. Ubar, Design error diagnosis in digital circuits with stuck-at fault model Microelectronics Reliability. ,vol. 40, pp. 307- 320 ,(2000) , 10.1016/S0026-2714(99)00203-6
Bryant, Graph-Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computers. ,vol. 35, pp. 677- 691 ,(1986) , 10.1109/TC.1986.1676819
A. Jutman, Z. Peng, R. Ubar, Timing simulation of digital circuits with binary decision diagrams design, automation, and test in europe. pp. 460- 466 ,(2001) , 10.5555/367072.367324
Karl S. Brace, Richard L. Rudell, Randal E. Bryant, Efficient implementation of a BDD package Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90. pp. 40- 45 ,(1990) , 10.1145/123186.123222
R. Ubar, Test synthesis with alternative graphs IEEE Design & Test of Computers. ,vol. 13, pp. 48- 57 ,(1996) , 10.1109/54.485782
Heh-Tyan Liaw, Chen-Shang Lin, On the OBDD-representation of general Boolean functions IEEE Transactions on Computers. ,vol. 41, pp. 661- 664 ,(1992) , 10.1109/12.144618