Reflections on Users’ Experiences with SVA - Part II
During my years of contributions to the Verification Academy SystemVerilog Forum, I have seen many trends in real users’ difficulties in the application of assertions, and misunderstandings of how SVA works. In Part 1 of this article, I addressed the difficulties in expressing requirements for assertions, and clarified some critical SVA concepts concerning terminology, threads, and vacuity.
![](https://res.cloudinary.com/dlzix82l9/image/upload/f_auto/v1708126930/Verification-Horizons/July-2022/verification-horizons_reflections-on-users-experiences-with-sva-part-2_wsm8b6.jpg)
Full-access members only
Register your account to view Reflections on Users’ Experiences with SVA - Part II
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.