Fall 2011

• Internal link

  Logic Synthesis and Verification course forum

  
  

• External 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