Theodore Karoubalis, George Alexiou, Nick Kanopoulos. Optimal synthesis of differential cascode voltage switch (DCVS) logic circuits using ordered binary decision diagrams (OBDDs). In Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995. pages 282-287, IEEE Computer Society, 1995. [doi]
Abstract is missing.