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.