Formal Verification of the VAMP Floating Point Unit (2001)

by Christoph Berg , Christian Jacobi
Venue:In CHARME 2001, volume 2144 of LNCS
Citations:11 - 6 self