Decoding Formal Video Tutorial Series: How to Formally Verify and Reuse Highly Configurable IP
Many designs these days support all sorts of IPs, and we want to verify these designs. However with tight schedules, we don’t have the luxury of building from scratch, so the best thing to do is re-use IPs from 3rd parties or internal designs. We are still responsible for IP from 3rd parties. The designs are very configurable and the IPs themselves are highly configurable. The problem is that there are billions of different configurations. The beauty of formal verification is that you can try all of these different configurations together by making them a symbolic constant.
Verifying IP especially highly configurable IP becomes extremely valuable if you do it with formal because you get a level of coverage that is almost impossible to get with simulation.