FreePDK45:Verification Rule Types

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.

Contents 1 Design Rule Checks 2 Check Modifiers 3 Layer Derivation Operators 3.1 Logical 3.2 Selection 4 References

Design Rule Checks

• Width
• Spacing
• Enclosure
• Overlap
• Area

Check Modifiers

• Same Net
• Different Net

Layer Derivation Operators

Logical

• AND
• NOT
• AND NOT
• OR
• XOR

Selection

• Touching
• Edge

References

[1]	Cadence Design Systemc, Inc., Assura Physical Verification Command Reference, Product Version 3.1, Sept. 2006.
[2]	Cadence Design Systemc, Inc., Diva Reference, Product Version 5.0, June 30, 2005.
[3]	Mentor Graphics Corporation, Standard Verification Rule Format (SVRF) Manual, Calibre 2006.1, Feb. 2006.
[4]	Ciranova, Ciranova Santana Technology File Reference Manual, 2006.