Formal Verification of the VAMP Floating Point Unit (2001)

by Christoph Berg, Christian Jacobi
Venue:In CHARME 2001, volume 2144 of LNCS