Balancing automation and control for formal verification of microprocessors
Shilpi Goel, Anna Slobodova, Rob Sumners, Sol Swords[ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer International Publishing
Cham
Pages 26-45
2021
Note(s): hardware, CPU verification, ISA specification, x86 architecture
Springer International Publishing
Cham
Pages 26-45
2021
Note(s): hardware, CPU verification, ISA specification, x86 architecture