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

Jan B. Freuer et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics