Automated Verification for Cache Coherent RISC-V SoCs

RISC-V SoC design complexity continues to increase and create new verification challenges. Private caches, shared caches, and shared main memory create potential caches/memory coherency problems that require modern, automated verification approaches.

In this webinar, we’ll demonstrate how Perspec System Verifier, with the pre-defined System Traffic Library (STL), provides an out-of-the-box verification plan and test suite for heterogeneous, multi-core, and cache-coherent processors. STL has built-in atomic actions and coherency scenarios to allow verification engineers to quickly generate test scenarios, such as targeting false sharing, true sharing, cache state transitions, snoop traffic, coherency irritators, extreme stress scenarios, IO coherency, and many more areas. Perspec System Verifier also helps visualize scenarios and analyze coverage before test execution.