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
2020
Note(s): hardware, CPU verification, ISA specification, x86 architecture
CPP 2020
New Orleans, LA, USA
Association for Computing Machinery
New York, NY, USA
Pages 47-60
2020
Note(s): hardware, CPU verification, ISA specification, x86 architecture