One of the most daunting challenges of verifying an IP or an SoC is to close coverage. It is relatively easy to get to 95% coverage by random stimulus and directed testing. But the difficulty of covering the last few percentages increases exponentially. We tried to address this problem through graph-based approach using Portable Stimulus Standard tools. In this session we present our experience with Questa inFact from Mentor. Using inFact we were able to see a faster turn around on closing coverage; we also realized some coverage properties are better suited than others for this graph-based approach.
