Fall 2010 ¡@
Logic Synthesis and Verification course forum
¡@
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