On the Verification of High-Order Constraint Compliance in IC Design | IEEE Conference Publication | IEEE Xplore