• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Anthony ZgheibOlivier PotinJean-Baptiste RigaudJean-Max Dutertre
Published in: COSADE (2023)
Keyphrases
  • error control
  • bit rate
  • rate distortion
  • application specific
  • video encoder
  • real time
  • video coding
  • formal verification