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 m...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].展开更多
This paper describes a new BDD(Binary Decision Diagram) that use SCOAP value for its path. Based on analysis of BDD and input variables, variable ordering and reducing algorithms for BDD operation that are constructed...This paper describes a new BDD(Binary Decision Diagram) that use SCOAP value for its path. Based on analysis of BDD and input variables, variable ordering and reducing algorithms for BDD operation that are constructed by circuits description of netlist are proposed. Further, several bench nark circuits are shown to verify the efficient methods.展开更多
文摘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].
基金Supported by National 8th five-year plan of China(Project No.867030203)
文摘This paper describes a new BDD(Binary Decision Diagram) that use SCOAP value for its path. Based on analysis of BDD and input variables, variable ordering and reducing algorithms for BDD operation that are constructed by circuits description of netlist are proposed. Further, several bench nark circuits are shown to verify the efficient methods.
