End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers

Gao, Dapeng; Melham, Tom

doi:10.34727/2021/isbn.978-3-85448-046-4_10

Record link:

http://hdl.handle.net/20.500.12708/18622
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_10

Title:

End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers

Citation:

Gao, D., & Melham, T. (2021). End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 24–33). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_10

reposiTUm DOI:

10.34727/2021/isbn.978-3-85448-046-4_10

CatalogPlus:

AC17204171

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Gao, Dapeng
Melham, Tom

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering