Optimal synthesis of differential cascode voltage switch (DCVS) logic circuits using ordered binary decision diagrams (OBDDs)

This paper presents a method for near-optimum synthesis of Differential Cascade Voltage Switch (DCVS) logic circuits using Ordered Binary Decision Diagrams (OBDD). The method presented produces efficient DCVS circuit structures in terms of transistor count which positively affects the circuit area and performance. The proposed method is also very practical because it produces results with short run-times on a design workstation. The paper presents experimental results that demonstrate the use and the efficiency of the proposed DCVS synthesis method. This method is the basis for a CAD tool that allows automatic synthesis of fault secure circuits based on the DCVS technology.

[1]  David L. Pulfrey,et al.  A comparison of CMOS circuit techniques: differential cascode voltage switch logic versus conventional logic , 1987 .

[2]  Ellen J. Yoffa,et al.  ACORN: A Local Customization Approach to DCVS Physical Design , 1985, DAC 1985.

[3]  L. Heller,et al.  Cascode voltage switch logic: A differential CMOS logic family , 1984, 1984 IEEE International Solid-State Circuits Conference. Digest of Technical Papers.

[4]  Kenneth J. Supowit,et al.  Finding the Optimal Variable Ordering for Binary Decision Diagrams , 1990, IEEE Trans. Computers.

[5]  Don E. Ross,et al.  Heuristics to compute variable orderings for efficient manipulation of ordered binary decision diagrams , 1991, 28th ACM/IEEE Design Automation Conference.

[6]  Barry K. Rosen,et al.  Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits , 1985, ITC.

[7]  Randal E. Bryant,et al.  Efficient implementation of a BDD package , 1991, DAC '90.

[8]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[9]  Sheldon B. Akers,et al.  Binary Decision Diagrams , 1978, IEEE Transactions on Computers.

[10]  David L. Pulfrey,et al.  Design procedures for differential cascode voltage switch circuits , 1986 .

[11]  Hiroshi Sawada,et al.  Minimization of binary decision diagrams based on exchanges of variables , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[12]  N. Kanopoulos,et al.  Testing of differential cascade voltage switch (DCVS) circuits , 1990 .