This paper focuses on the problem of how to effectively and fully verify functions in SoC design methodology. It first introduces the definition of assertion-based verification methodology and its benefits. Then, it takes an assertion verification language, OVA, as a specific application example. Through simulation, it shows that assertion verification is an effective method for SoC design functional verification and can effectively improve verification efficiency.
You Might Like
Recommended ContentMore
Open source project More
Popular Components
Searched by Users
Just Take a LookMore
Trending Downloads
Trending ArticlesMore