Formalizing SPARCv8 Instruction Set Architecture in Coq
(Jiawei Wang's Undergraduate thesis)
The SPARC Architecture Manual
(version 8)
SPARC 结构与实时内核的移植