In our last post in series, part 4, we looked at the costs associated with debugging and sign-off verification. In this final posting, we propose a practical and efficient CDC verification methodology.
Template recognition vs. report quality trade-off
The first-generation CDC tools employed structural analysis as the primary verification technology. Given the lack of precision of this technology, users are often required to specify structural templates for verification. Given the size and complexity to today’s SOCs, this template specification becomes a cumbersome process where debugging cost is traded for setup cost. Also, the checking limitations imposed by templates may reduce the report volume, but they also increase the risk of missing errors. In general, template-based checking requires significant manual effort for effective utilization.