1 citations
1 paper
Alessandro Coglio, Shilpi Goel
The ACL2 model of the x86 Instruction Set Architecture was built for the 64-bit mode of operation of the processor. This paper reports on our work to extend the model with support…