P4AIG: Circuit-Level Verification of P4 Programs.

Mohammad A. Noureddine Amanda Hsu Matthew Caesar Fadi A. Zaraket William 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