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".
In reply to bmiller:
I'm using the "uniquify -all -nolib" command", which isn't helping me in removing mismatches.
Does uniquify Identifies any paramterized module pattern of Synthesized netlist ? How does uniquify help in matching different naming style modules ?
I would like to know if there is any command in LEC-XL which can generate paramterized modules only with <module_Name>_<uniquification no.> .
My DC netlist is generated with no Paramter name/value appended to module name . Can i get the similar result with LEC on RTL ?