1. magma is another solution ! v' G: g; @' z% h; I2 ^: U2. Astro from synopsys * Q4 h: L4 q7 O$ N/ G( N" H% l( Z3. FirstEncounter from Cadence d" ?0 x7 \: }* N% @
+ l" l9 i$ \- z3 I& z% E) `
All with basic DRC and LVS, you have to run Calibre, etc. to finish the final verification.