Hi,
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 ?
regards,
rafeeq