Using x86isa for microcode verification

Shilpi Goel, Rob Sumners
[Google Scholar] [DBLP] [Citeseer]

SpISA 2019: Workshop on Instruction Set Architecture Specification
Portland, Oregon, USA
September 2019
Note(s): x86 architecture, ISA specification, instruction set architecture, hardware, CPU verification