作者: 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.