| Properties of Paths in ROBDD and Its Application to Signal Probability Calculations |
| |
| 引用本文： | 吴凯,林争辉. Properties of Paths in ROBDD and Its Application to Signal Probability Calculations[J]. 东华大学学报(英文版), 2004, 21(2) |
| |
| 作者姓名： | 吴凯 林争辉 |
| |
| 作者单位： | VLSI Institute，Shanghai JiaoTong University，Shanghai 200030Dr，VLSI Institute，Shanghai JiaoTong University，Shanghai 200030 |
| |
| 摘 要： | Introduction Powerconsumptionhasbecomeagreatconcerninchip design.Inordertocomputepowerdissipation,wehaveto firstlycalculatenodeswitchingactivityEn(sw).FromEq.1 En(sw)canbeestimatedthroughprob(n)[2]andtherefore thepowerdissipationcanbeobtainedthroughEq.2[3]. En(sw)=2prob(n)(1-prob(n))(1) Pavg=0.5V2ddfclkCloadE(SW)(2) Thereareseveralmethodsincalculatingprob(n) includingtheapplicationofMarkovchain,theentropyapproach,andothers[1].Yettwoimportantproblemsarise whenapplyingthesea…
|
Properties of Paths in ROBDD and Its Application to Signal Probability Calculations |
| |
| WU Kai,LIN Zheng-huiVLSI Institute,Shanghai JiaoTong University,Shanghai. Properties of Paths in ROBDD and Its Application to Signal Probability Calculations[J]. Journal of Donghua University, 2004, 21(2) |
| |
| Authors: | WU Kai LIN Zheng-huiVLSI Institute Shanghai JiaoTong University Shanghai |
| |
| Affiliation: | 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]. |
| |
| Keywords: | signal probability Binary Decision Diagram (BDD) Ordered Binary Decision Diagram (OBDD) Reduced Ordered Binary Decision Diagram (ROBDD) variable ordering inconsistent events |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
