Hello,
1. Assura may need to be installed separately. However, is Diva always installed alongside Virtuoso?
a) which executable file or shared libraries (.so), or paths should we check for Dvia's existence?
2.
po_a_not1 = geomAndNot(por24_po_a por27_co_c) po_b_not1 = geomAndNot(por25_po_b por23_co_a) por28_bad = geomOr(po_a_not1 po_b_not1) por29_bad_edge = geomGetEdge(por28_bad coincident poly) por210_error = drc( por29_bad_edge width <= 0.24 ) errorLayer( geomButtOrOver( por21_check_po por210_error ) "PO.R.2 Maximum POLY length between contacts when PO width less than 0.24um > 50.00 ") /* PP CHECKS */ /* ============ */ ppe4_nwelc = geomSize( nweli 0.43 noClipAcute ) ppe4_nwels = geomSize( ppe4_nwelc 0.18 noClipAcute ) ppe4_od = geomAnd(ppe4_nwels ptap) ppe4_c1 = drc( pp ppe4_od 0 < enc < 0.18 opposite shielded ) ppe4_c2 = drc( pp ppe4_od 0 < enc < 0.18 app < 0 shielded ) ppe4_c3 = drc( pp ppe4_od 0 < enc < 0.18 shielded app == 0 ) ppe4_c2_sz1 = geomSize( ppe4_c2 0.005 noClipAcute ) ppe4_c4 = geomAndNot(ppe4_c2_sz1 ppe4_od) ppe4_c1_or1 = geomOr(ppe4_c1 ppe4_c3) ppe4_all = geomOr(ppe4_c1_or1 ppe4_c4) ppe4_checkod = geomGetEdge(ppe4_all butting ppe4_od) |
This is an excerpt from "~ /1P6M_1.8V_3.3V_MM_RF/Assura/drc/drc.rul". Although it is listed under folder named Assura, almost all commands are Diva commands/syntax.
a) Is Assura a superset of Diva and supports all Diva commands?
b) Given that there is RCX tool (Dracula to Assura) exists which converts Dracula to Assura, and in view of the many same commands in Assura .rul files as to those in Diva .rul files, is there any official tool for converting Assura .rul to Diva .rul file?
3)
I am confused between Diva and Dracula. From GXL>Verify, Virtuoso seems to be prepared to launch Diva (from the divaDRC.rul filename). Is Diva the default choice for verification, instead of Dracula?
G