Formal verification of the VAMP floating point unit (2005)

by C Jacobi
Venue:Formal Methods in System Design