Sign in

P4AIG: Circuit-Level Verification of P4 Programs.

Mohammad A. NoureddineAmanda HsuMatthew CaesarFadi A. ZaraketWilliam H. Sanders
Published in: DSN (Supplements) (2019)
Keyphrases
  • levels of abstraction
  • real time
  • data sets
  • genetic algorithm
  • face recognition
  • face verification
  • formal verification
  • databases
  • feature extraction
  • higher level
  • analog circuits
  • symbolic execution