Login / Signup

Efficient SAT-based combinational ATPG using multi-level don't-cares.

Nikhil SalujaSunil P. Khatri
Published in: ITC (2005)
Keyphrases
  • computationally efficient
  • orders of magnitude
  • cost effective
  • computationally expensive
  • constraint programming
  • multi layer