Formality logic equivalence checks on overriding parameters.

[hashbrown]

I am running lec on cell macros vs rtl. I have an automated approach where I plan to run lec on multiple design files. Some of my files have been instantiated with an over-ridden parameter. For example: I have a module A.sv with a parameter definition DATA=1 and this A.sv is instanced in B.sv where I have a parameter defined DATA=2. in my instantiation, parameter is overridden as: DATA(DATA) or DATA(3).

Is there any mechanism that formality supports to cater the over-riding parameters.

Any help is appreciated.