Transistor-mapped binary decision diagram for CMOS circuits.

Chia-Pin R. Liu

Browse the full CAINE paper archive.