Login / Signup

A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.

Paul TafertshoferAndreas GanzManfred Henftling
Published in: ICCAD (1997)
Keyphrases
  • optimization problems
  • data sets
  • global optimization
  • neural network
  • optimization algorithm
  • orders of magnitude
  • optimization process
  • optimization model