DESB, a functional abstractor for CMOS VLSI circuits

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers

LOGEX—an automatic logic extractor form transistor to gate level for CMOS technology

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference

TAS: an accurate timing analyser for CMOS VLSI

EURO-DAC '91 Proceedings of the conference on European design automation

Functional abstraction of logic gates for switch-level simulation

EURO-DAC '91 Proceedings of the conference on European design automation