On the Verification of High-Order Constraint Compliance in IC Design.

Jan B. Freuer Göran Jerke Joachim Gerlach Wolfgang Nebel

Published in: DATE (2008)

Keyphrases

high order
higher order
pairwise
formal methods
image processing
feature space
low order
functional verification
sigma delta