How does parameterized IP verify completely?

[luoyanghero]

An IP has several parameters, and various parameter values can be combined in hundreds.
As far as I know, coverage cannot merge parameters. What methods can be used to ensure that the validation is sufficient (all parameter values have been verified)?

 

[ThisIsNotSam]

you cannot verify all of them by simulation, that doesn't scale.
formal verification helps in that sense, but it has all the difficulties of formal verification.

the fact is, none of this matters. an IP, once instantiated, will be used with fixed parameters. you check that specific instance.
if you are an IP provider, it is good practice to also provide some sort of minimal functionality testbench that should pass. then the customer can perform more complex verification on his own.