A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon (0)

Cached

Download Links

by David M. Russinoff
Citations:21 - 2 self