From NCSU EDA Wiki
This page collects the names of common verification-rule types. The descriptions of verification-rules should use the names on this page and link to the individual descriptions.
Design Rule Checks
Layer Derivation Operators
| || Cadence Design Systemc, Inc., Assura Physical Verification Command Reference, Product Version 3.1, Sept. 2006.
| || Cadence Design Systemc, Inc., Diva Reference, Product Version 5.0, June 30, 2005.
| || Mentor Graphics Corporation, Standard Verification Rule Format (SVRF) Manual, Calibre 2006.1, Feb. 2006.
| || Ciranova, Ciranova Santana Technology File Reference Manual, 2006.