Login / Signup

Hardware trojan detection by symmetry breaking in path delays.

Norimasa Yoshimizu
Published in: HOST (2014)
Keyphrases
  • symmetry breaking
  • constraint programming
  • boolean satisfiability
  • quantified boolean formulae
  • global constraints
  • evolutionary algorithm
  • search tree
  • graph coloring