Journal: Formal Methods in System Design

Volume 14, Issue 1

5 -- 6Steven M. German. Introduction to the Special Issue on Verification of Arithmetic Hardware
7 -- 44Edmund M. Clarke, Steven M. German, Xudong Zhao. Verifying the SRT Division Algorithm Using Theorem Proving Techniques
45 -- 73Harald RueƟ, Natarajan Shankar, Mandayam K. Srivas. Modular Verification of SRT Division
75 -- 125David M. Russinoff. A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode