Automatic generation and validation of instruction encoders and decoders
Xiangzhe Xu, Jinhua Wu, Yuting Wang, Zhenguo Yin, Pengfei Li[ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer International Publishing
Cham
Pages 728-751
2021
Note(s): ISA specification, x86 architecture
Papers: hsieh:usenix:2001
Springer International Publishing
Cham
Pages 728-751
2021
Note(s): ISA specification, x86 architecture
Papers: hsieh:usenix:2001