Steven M. German Introduction to the Special Issue on Verification of Arithmetic Hardware. 5-6 1999 14 Formal Methods in System Design 1 db/journals/fmsd/fmsd14.html#German99