Synthesis and optimization of multistage logic (1984)

by R K Brayton, C T McMullen
Venue:Proc. ICCD