Formally Verified Synthesis of Combinational CMOS Circuits
by David A. Basin, Geoffrey Brown, and
Miriam Leeser
Integration: The International Journal of VLSI Design, vol. 11, pp. 235-250, 1991.
Sorry, there are no downloadable files available for this document at this time.
