Abstract stobjs and their application to ISA modeling
Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the ACL2 Workshop 2013, EPTCS 114
Pages 54-69
2013
Note(s): ISA specification, x86 architecture, instruction set architecture, ACL2 theorem prover
Pages 54-69
2013
Note(s): ISA specification, x86 architecture, instruction set architecture, ACL2 theorem prover