Formal Methods in Computer-Aided Design door Ganesh Gopalakrishnan & Fmcad '98