How does parameterized IP verify completely?

Status
Not open for further replies.
L

luoyanghero

Junior Member level 3
Joined
Nov 22, 2016
Messages
29
Helped
0
Reputation
0
Reaction score
0
Trophy points
1
Location
ShengXiaLu
Activity points
1,219
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)?
 

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.
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…