2006 Formal Methods in Computer Aided Design