====== Layout verification using Assura =====

[ __[[vlsi:home|Home]]__ ]
[ __[[vlsi:workbook|Design WorkBook]]__ ]
[ __[[vlsi:workbook:verification|Back]]__ ]


== Contents ==

   * Introduction
   * Documentation
   * Environment setup
   * Assura DRC
   * Assura LVS
   * Assura QRC



   * Introduction
   * Environment setup
   * Design Rule Check (DRC)
   * Layout Versus Schematic (LVS)
   * Parasitic Extraction (PEX)


**Keywords:**


===== Introduction =====

IMPORTANTE!!!!!!!!!!!!!!

Assura (Assura Physical Verification ) di per se' fa solo DRC e LVS!!!!!!!!!!!!!!!!
La pex quella che si chiama Assura QRC in realta' e' fatta da un altro package, 
che si chiama Cadence QRC Extraction (che di fatto e' il sostituto di Assura RCX)!

Infatti sono 2 packages distinti, /usr/cadence/Assura_4.10oa-615 e /usr/cadence/EXT_9.13


====== Tutorials ======

Assura tutorial included in the tool installation: 


''$ASSURAHOME/tools/assura/samples/tutorials/''

====== cds.lib setup (avTech) ======

<code> 
DEFINE avTech   $ASSURAHOME/tools/assura/etc/avtech/avTech
</code>

===== Environment setup =====


<code>
cd ~cadence/tech_dir
mkdir assura
cd assura
mkdir drc lvs pex
</code>


Documentation in 

''/usr/cadence/Assura_4.10oa-615/doc/assurauser/assurauser.pdf''

''assura_tech.lib'' file

<code>
cd ~/cadence/tech_dir/assura
cp <PDK install dir>/Assura/assura_tech.lib .
</code>

or make a sym link

<code>
ln -s <PDK install dir>/Assura/assura_tech.lib .
</code>


**Layout L/XL => Assura => Technology...**

{{:vlsi:assura_technology_lib_selection.png}}


**Layout L/XL => Assura => Rule Sets...**

{{:vlsi:technology_rule_set_builder.png}}




Specify './assura_tech.lib' or './assura/assura_tech.lib'






<code>
avParameters(
   ...
   ...
   ... )


avCompareRules(
   ...
   ...
   ... )

rcxParameters(
   ...
   ...
   ... )

</code>


<code>
avParamenters(
   ?workingDirectory "/path/to/Assura/working/directory"
   ?runName "runName"
   ?inputLayout ("df2" "libraryName")
   ?cellName "cellName"
   ?viewName "layout"
   ?rulesFile "/path/to/Assura/rules/file"
</code>

===== Design Rule Check (DRC) =====

**Layout Editor L => Assura => DRC**



===== Layout Versus Schematic (LVS) =====


<code>
cd ~/cadence/tech_dir/assura
mkdir lvs
cd lvs
mkdir data runsets
ln -s ....
</code>



**Layout Editor L/XL => Assura => Run LVS...**


{{:vlsi:assura_run_lvs.png}}

''compare.rul'' and ''extract.rul'' files in the LVS technology directory

<code>
ln -s /path/to/Assura/lvs/technology/compare.rul compare.rul
ln -s /path/to/Assura/lvs/technology/extract.rul extract.rul
</code>

====== Parasitic Extraction (PEX) ======

PEX = RCX in Assura

<del>**Layout Editor L/XL => Assura => Run RCX...**</del>


**Layout Editor L/XL => Assura => Run QRC...**


[[http://asic.ams.com/hitkit/hk410/assura/assura_qrc.html]]


[[http://icslwebs.ee.ucla.edu/dejan/classwiki/images/e/e7/QRC_Note-IC5141.pdf]]

[[http://cudoe.blogspot.it/2011/04/qrc-assura-how-to-fill-forms-for.html]]



====== ======
\\
----

Last update: [[pacher@NOSPAMto.infn.it|Luca Pacher]] - Jul 15, 2014
~~NOTOC~~