A CCFI Verification Scheme Based on the RISC-V Trace Encoder.

Anthony Zgheib Olivier Potin Jean-Baptiste Rigaud Jean-Max Dutertre

Published in: COSADE (2023)

Keyphrases

error control
bit rate
rate distortion
application specific
video encoder
real time
video coding
formal verification