Title :
Comparing two-level and ordered binary decision diagram representations of logic functions
Author :
Devadas, Srinivas
Author_Institution :
Dept. of Electr. Eng., MIT, Cambridge, MA, USA
fDate :
5/1/1993 12:00:00 AM
Abstract :
An example is given of a class of functions with 2n+log n inputs that have two-level or sum-of-products representations containing n2 product terms and ordered binary decision diagram representations that have at least Ω(1n/2 ) vertices under any possible variable ordering
Keywords :
logic design; switching theory; BDD; OBDD; logic functions; logic synthesis; ordered binary decision diagram; sum-of-products representations; two-level-representations; Boolean functions; Circuits; Data structures; Input variables; Logic functions; Terminology; Very large scale integration;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
