Automatic synthesis of computation interference constraints for relative timing verification.

Yang Xu Ken S. Stevens

Published in: ICCD (2009)

Keyphrases

fully automatic
semi automatic
model checking
constraint satisfaction
data sets
signature verification
asynchronous circuits
program synthesis
data mining
efficient computation
database
real time
case study
constraint programming
global constraints
functional programs