Whitepaper

STAR allows RTL designers to read RTL designs and explore in all ways through Tcl commands: check ports, connections, modules, instances, etc. Exploration capabilities go much beyond traditional point tools. Rapid design exploration is allowed through powerful and extendible query procedures.

Also STAR provides easy creation of custom Tcl DRC rules (design naming convention check, port existence ...) with systematic verification constraint-based mechanisms. Also easy GUI exploration capabilities and cross link between RTL and schematic are provided.

Typical STAR-ECO features are:

Read RTL or gate-level

Rapid ECO on gate-level netlist with no need of netlist dumping

Reflect automatically gate-level changes on the RTL

Generate reports about operated modifications