Title :
A new model for constructing DCVS trees
Author_Institution :
Sch. of Comput. Sci., Windsor Univ., Ont., Canada
Abstract :
In this paper we introduce a new decision diagram based model, the 123-decision diagram, which can be used to efficiently synthesize DCVS circuits. We compare our approach to traditional DCVS synthesis techniques based on ordered binary decision diagrams(OBDDs) and show that our approach is guaranteed to perform as well as or better than OBDD based methods
Keywords :
Boolean functions; CMOS logic circuits; logic CAD; trees (mathematics); 123-decision diagram; CMOS logic circuits; DCVS trees; decision diagram based model; ordered binary decision diagrams; Boolean functions; CMOS logic circuits; Circuit synthesis; Computer science; Data structures; Integrated circuit synthesis; Network synthesis; Semiconductor device modeling; Switches; Voltage;
Conference_Titel :
Electrical and Computer Engineering, 1997. Engineering Innovation: Voyage of Discovery. IEEE 1997 Canadian Conference on
Conference_Location :
St. Johns, Nfld.
Print_ISBN :
0-7803-3716-6
DOI :
10.1109/CCECE.1997.608317
