dsd13-gos / dsd-14=pdk / Lect13_14

Writing Diva Verification Rules

•A verification rules file contains DRC and Extraction rules, ERC rules, and LVS rules. You write these rules into the verification rules file using the SKILL functions.

•The verification rules you add to the technology file are usually constant for a technology. There are times when you might make changes for a particular verification run. You do this by using commands that apply only to that run, and you put these run-specific commands in a separate file that you call when you perform a DRC or an extraction.

Creating a Verification Rules File

•Use a text editor to write these rules into a verification rules file using the SKILL functions defined in this manual. You can place these rules in a technology library or anywhere else in your system. When you start DRC or Extraction, the program prompts you for the location of the rules.

You can create a verification rules file by doing the following.

•Place all DRC and extraction rules in the drcExtractRules( ) function.

•Use the ivIf and checkPoint commands to control the processing of the verification rules.

•Store the rules file in the required location. The default file names are divaDRC.rul and divaEXT.rul, and the default location is in the technology library.

Setting Switch Names

Set Switch Names to limit design rule checking of specific layers or types of data.

You create switches in the drc rules file. For example:

Sample Verification Rules File

drcExtractRules( bkgnd = geomBkgnd() poly = geomOr( "poly" )

active = geomOr( "active" ) gate = geomOr( "gate" ) contact = geomOr( "contact" ) metal1 = geomOr( "metal1" )

ivIf( switch( "drc?" ) then * POLY RULES

drc( poly width < 3 "Poly width < 3.0 " )

drc( poly sep < 3 "Poly to Poly spacing < 3.0" ) drc( poly notch < 3 "Poly to Poly spacing < 3.0" )

drc( poly active sep < 2 "Field Poly to Active spacing <2.0" )