Converting Assura rule deck to Diva rule deck

[just21andy]

I'm working on installing a PDK that only comes with Assura DRC rule
decks. Our current setup only has Diva. Is there an easy way to convert
or use the Assura rule decks for Diva use?

 

[Diva Physical Verificatio]

On 22 Aug 2005 15:22:42 -0700, "just21andy" <just21andy@hotmail.com>
wrote:

I'm working on installing a PDK that only comes with Assura DRC rule
decks. Our current setup only has Diva. Is there an easy way to convert
or use the Assura rule decks for Diva use?

There has never been an effort to create an Assura to Diva translator,
but most of the commonly used Assura rules were implemented in Diva
earlier this year. Many of the rest have fairly simple conversions.
There are some that don't translate.

The biggest problem I have when doing a translation is dealing with the
connectivity model differences and how they impact the rules. Assura
does not propagate nodal information through Booleans like Diva does.
This results in people breaking a layer into two and connecting them
using "connection by abutment". In Diva you break the layer after
geomConnect.

Assura:
ndiff = geomAnd(diff tub)
pdiff = geomAndNot(diff tub)
geomConnect(
via(cont ndiff pdiff met1)
buttOrOver(ndiff pdiff) ; not in Diva
)

Diva:
geomConnect(
via(cont diff met1)
)
ndiff = geomAnd(diff tub)
pdiff = geomAndNot(diff tub)

The semantics of geomStamp are also different. Assura adds connectivity
to the layer while Diva creates a new layer.

Assura:
geomStamp(well tell)

Diva:
well = geomStamp(well tie)

I recommend you have both the Assura and Diva reference manuals, and
read them carefully for anything that is not obvious. I can suggest
conversions for pieces you have trouble with.