A CFI Verification System based on the RISC-V Instruction Trace Encoder.
Anthony ZgheibOlivier PotinJean-Baptiste RigaudJean-Max DutertrePublished in: DSD (2022)
Keyphrases
- instruction set
- floating point
- bit rate
- application specific
- multimedia
- rate distortion
- model checking
- video compression
- level parallelism
- video codec
- embedded systems
- low complexity
- rate control
- formal methods
- sliding window
- formal verification
- computer technology
- instructional design
- video coding
- general purpose
- decoding process
- verification method
- connected component labeling
- motion estimation