A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon Processor
From BibNetWiki
- @j-LECT-NOTES-COMP-SCI 1954:3--36, 2000
- Url BibtexAuthor : David M. Russinoff
Title : A Case Study in Formal Verification of Register-Transfer Logic with {ACL2}: The Floating Point Adder of the {AMD Athlon} Processor
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000
