Formalizing GPU Instruction Set Architecture in Coq.

Nitin Bhatia Meenakshi D'Souza Sujit Kumar Chakrabarti

Published in: ISEC (2019)

Keyphrases

instruction set architecture
instruction set
formal methods
theorem prover
real time
parallel computing
graphics processing units
parallel implementation
general purpose
parallel processing
databases
source code
data processing
data access
parallel computation