东华大学学报（英文版）2004，Vol.21Issue(2)：116-118,3.
Properties of Paths in ROBDD and Its Application to Signal Probability Calculations
Properties of Paths in ROBDD and Its Application to Signal Probability Calculations
吴凯 1林争辉1
作者信息
- 1. VLSI Institute, Shanghai JiaoTong University, Shanghai 200030
- 折叠
摘要
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 eventsKey words
signal probability/Binary Decision Diagram (BDD)/Ordered Binary Decision Diagram (OBDD)/Reduced Ordered Binary Decision Diagram (ROBDD)/variable ordering/inconsistent events分类
信息技术与安全科学引用本文复制引用
吴凯,林争辉..Properties of Paths in ROBDD and Its Application to Signal Probability Calculations[J].东华大学学报（英文版）,2004,21(2):116-118,3.
