2012 Formal Methods in Computer-Aided Design (FMCAD)