Closing the Verification Gap with Static Sign-off.

Pranav Ashar Vinod Viswanath

Published in: ISQED (2019)

Keyphrases

face verification
model checking
data sets
genetic algorithm
data structure
relational databases
probabilistic model
formal analysis
signature verification
asynchronous circuits