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

Jan B. Freuer, Gran Jerke, Joachim Gerlach, Wolfgang Nebel

Browse the full DATE paper archive.