End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers.
Dapeng GaoTom MelhamPublished in: FMCAD (2021)
Keyphrases
- end to end
- formal verification
- model checking
- instruction set
- functional verification
- symbolic model checking
- model checker
- ad hoc networks
- automated verification
- admission control
- bounded model checking
- congestion control
- multipath
- application specific
- wireless ad hoc networks
- high speed
- content delivery
- high bandwidth
- internet protocol
- video sequences
- transport layer
- temporal logic