A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon (0)
by
David M. Russinoff
| Citations: | 19 - 2 self |
Document Versions
| A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon –David M. Russinoff |
