Rethinking Chip Verification

Key Takeaways: AI and modern tools are easing traditional verification pain, but they’re not addressing the underlying bottleneck in complex designs. Work is underway to create a golden, unambiguous spec above RTL, tracing requirements from spec to implementation to verification and checking for gaps, conflicts, and inconsistencies across levels and blocks, often with AI help. Tool chains and flows are not yet ready for this new reality. While there are pieces (MBSE tools, requirements databases