A Formally Verified System for Logic Synthesis.

Mark D. Aagaard, Miriam Leeser

Browse the full ICCD paper archive.