| name | foundry-eda-validation |
| description | Use for deterministic validation of foundry RTL changes with static checks and optional EDA tools such as Verilator, Icarus Verilog, and Yosys. |
Foundry EDA Validation
Core Rule
EDA tools and deterministic checks are the correctness authority. Model output
is useful for generation and summarization, but RTL changes are not complete
until validation evidence is captured.
Skill-Owned Scripts
scripts/validate_rtl.sh: validates the examples/sync_fifo/ starter RTL
and testbench by default, then runs Verilator, Icarus Verilog, and Yosys when
those tools are installed.
Run it from the repository root:
bash skills/foundry-eda-validation/scripts/validate_rtl.sh
For explicit files:
bash skills/foundry-eda-validation/scripts/validate_rtl.sh examples/sync_fifo/sync_fifo.sv examples/sync_fifo/sync_fifo_tb.sv
Reporting
Always report:
- the exact command
- which checks passed or failed
- whether full EDA tools ran or the result was static-only
- any missing toolchain dependency
- the next human review decision