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