Formalizing SPARCv8 Instruction Set Architecture in Coq.

Jiawei Wang Ming Fu Lei Qiao Xinyu Feng

Published in: SETTA (2017)

Keyphrases

instruction set architecture
instruction set
theorem prover
formal methods
floating point
databases
artificial intelligence
computer architecture
general purpose
data processing