Verifying x86 instruction implementations

Shilpi Goel, Anna Slobodova, Rob Sumners, Sol Swords
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
CPP 2020
New Orleans, LA, USA
Association for Computing Machinery
New York, NY, USA
Pages 47-60
Note(s): hardware, CPU verification, ISA specification, x86 architecture