rvformal_rand_reg

CodeArtifact

First seen 8/1/2026

Last seen 8/1/2026

Evidence 1 chunks

NEIGHBORHOOD

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

3 connections

riscv-formal ← uses 95% 1e

riscv-formal uses the rvformal_rand_reg macro to declare random registers for formal and simulation contexts.

Yosys uses → 93% 1e

The rvformal_rand_reg macro generates Yosys-specific rand reg syntax when YOSYS is defined.

simulation uses → 92% 1e

The rvformal_rand_reg macro generates plain reg syntax for simulation contexts.