I'm using Conformal LEC to match RTL vs Netlist (synopsys's DC generated).
Our requirement is just to use Uniquification numbers for same modules, and do not require tool to append parameter names/values for the generated modules. The generated netlist has been generated as expected.
But , Is there a way in Conformal LEC to exclude Paramters(name&value) while generating module name ?
View solution "20092848" on support.cadence.com for information on how to handle this.
To summarize, this is what you need to do:
However if the default naming convention for module names is changed
during synthesis with DC/RC, then the above commands would not match
module names in LEC. To resolve this, you need run uniquification in LEC
to match the module names. This command is given after reading the
library and design files. SETUP> uniquify -all -nolib
Basically, the uniquify command will match module names between golden and revised. Do this before running "write hier dofile".