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