A decision-diagram-based synthesis procedure for DCVS circuits

Differential Cascode Voltage Switch (DCVS) circuits are becoming an important emerging direction of research in the quest for high-performance CMOS integrated circuits. Potential advantages are higher circuit density and speed and lower power dissipation. 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 DCVS synthesis techniques based on reduced ordered binary decision diagrams (ROBDDs) and show that our approach is guaranteed to perform as well as or better than conventional OBDD-based methods. Experiments on benchmark circuits show improvements of 0 to 48% with an average improvement of 14%.