应对验证IP复用中的约束复杂性

应对验证IP复用中的约束复杂性

作者: Srinath Atluri, Ben Chen, Harish Krishnamoorthy (Cisco); Alex Wakefield, Balamurugan Veluchamy, Rebecca Lipon (Synopsys)

---

摘要

随着芯片设计变得更大更复杂，验证工程师正在扩展约束随机验证 Constrained Random Verification以满足验证需求。约束问题的规模和复杂性不断增长，导致性能和容量问题。本文讨论了验证工程师在编写约束时面临的关键挑战 -- 如何实现测试目标，如何优化约束求解性能，以及如何在多个验证IP之间管理约束交互。

---

图片索引

本文共18张图片，存放于 _images/ 目录。