Logic Synthesis and Verification
Fall 2012
Introduction
Announcements
Lectures
Readings
Administrations
Links
Andreas Kuehlmann
's
EECS 219B
at UC Berkeley
Alan Mishchenko
's synthesis and verification package
ABC
Niklas
Eén and
Niklas Sörensson's
MiniSat
page