Logic Synthesis and Verification
Fall 201
4
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