Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V.
Peter SewellPublished in: FMCAD (2021)
Keyphrases
- hardware architecture
- instruction set
- engineering design
- formal model
- software engineering
- real time
- artificial intelligence
- application specific
- network architecture
- small scale
- scale space
- management system
- business processes
- formal specification
- storage devices
- mathematical theory
- engineering students
- computer science
- layered architecture