A Multipurpose Formal RISC-V Specification.
Thomas BourgeatIan ClesterAndres ErbsenSamuel GruetterAndrew WrightAdam ChlipalaPublished in: CoRR (2021)
Keyphrases
- formal specification
- formal methods
- application specific
- formal language
- reactive systems
- specification languages
- operational semantics
- requirements specification
- specification language
- formal languages
- real time
- neural network
- conceptual model
- model checking
- business rules
- formal model
- formal analysis
- binary images
- general purpose
- provably correct
- image segmentation
- image processing
- information systems