Skip to content
STIMSMITH

SVA Testbench

Tool
First seen 7/11/2026
Last seen 7/11/2026
Evidence 3 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

4 connections
pwrmgr_clock_enables_sva_if ← part of 85% 2e
pwrmgr_clock_enables_sva_if is an SVA interface module used in the SVA-based testbench.
Formal Property Verification (FPV) uses → 97% 1e
The SVA testbench uses FPV to verify TileLink device protocol compliance.
TileLink Protocol Compliance Verification evaluates → 95% 1e
The SVA testbench evaluates TileLink device protocol compliance.
pwrmgr_ast_sva_if ← part of 85% 1e
pwrmgr_ast_sva_if is an SVA interface module for AST handshake assertions.