Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA'06) Evaluation time Estimation for Pass Transistor Logic circuits Kuala Lumpur, Malaysia January 17-January 19 ISBN: 0-7695-2500-8
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DELTA.2006.47
This paper describes a mathematical model for the prediction of Binary Decision Diagram (BDD) depth measures, such as the Longest Path Length (LPL) and the Average Path Length (APL). The formal core of the model is a formula for the average LPL and APL over the set of BDD derived from Boolean logic expressions with a given number of variables and product terms. The formula was determined by extensive empirical studies of these measures. The proposed model can provide valuable information about Pass Transistor Logic (PTL) evaluation time for any variable ordering method without building the BDD. Our experimental results show good correlation between the theoretical results and those predicted by the mathematical model, which will greatly reduce the time complexity of applications that use BDDs.
Citation:
P.W.C. Prasad, B.I. Mills, A. Assi, S.M.N.A. Senanayake, V.C. Prasad, "Evaluation time Estimation for Pass Transistor Logic circuits," delta, pp.422-428, Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||