top.sv

CodeArtifact

First seen 7/16/2026

Last seen 7/16/2026

Evidence 1 chunks

NEIGHBORHOOD

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

3 connections

ibexspec.sv uses → 1e

top.sv instantiates the Sail specification provided by ibexspec.sv alongside the Ibex core.

Ibex uses → 1e

top.sv instantiates the Ibex core (ibex_top) for trace equivalence verification.

Trace Equivalence implements → 1e

top.sv is the top-level wrapper implementing the trace equivalence proof infrastructure.