节点文献
Properties of Paths in ROBDD and Its Application to Signal Probability Calculations
【Abstract】 The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this method, the troublesome calculation of the correlation among the nodes, which is caused by the re-convergent fan-out in digital system, can be avoided and power estimation can be faster than simulation-based method in [1].
【关键词】 signal probability；
Binary Decision Diagram (BDD)；
Ordered Binary Decision Diagram (OBDD)；
Reduced Ordered Binary Decision Diagram (ROBDD)；
variable ordering；
inconsistent events；
【Key words】 signal probability； Binary Decision Diagram (BDD)； Ordered Binary Decision Diagram (OBDD)； Reduced Ordered Binary Decision Diagram (ROBDD)； variable ordering； inconsistent events；
【Key words】 signal probability； Binary Decision Diagram (BDD)； Ordered Binary Decision Diagram (OBDD)； Reduced Ordered Binary Decision Diagram (ROBDD)； variable ordering； inconsistent events；
- 【文献出处】 Journal of DongHua University ,东华大学学报(英文版) , 编辑部邮箱 ,2004年02期
- 【分类号】TN911
- 【被引频次】1
- 【下载频次】32