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 ?
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 ?