New ATPG techniques for logic optimization.

Reily M. Jacoby P. Moceyunas Hyunwoo Cho Gary D. Hachtel

Published in: ICCAD (1989)

Keyphrases

optimization algorithm
global optimization
joint optimization
optimization problems
information systems
automated reasoning
multi agent systems
logic programming
optimization method
convex optimization
optimization procedure
computational properties
discrete optimization
delay insensitive