Ejecuta cualquier Skill en Manus
con un clic

Ejecuta cualquier Skill en Manus con un clic

foundry-eda-validation

Estrellas0

Forks0

Actualizado13 de julio de 2026 a las 14:08

Use for deterministic validation of foundry RTL changes with static checks and optional EDA tools such as Verilator, Icarus Verilog, and Yosys.

Instalación

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Ejecutar en Manus

Fuente

rajshah4

rajshah4/semi-demo

Abrir repositorio de GitHub Ver repositorios del creador

Descarga

Ejecutar en Manus

Ocupaciones relacionadasSOC

Basado en la clasificación ocupacional SOC

Ingenieros eléctricosArquitectura e ingeniería·SOC 17-2071

Explorador de archivos

2 archivos

SKILL.md

readonly

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

Más de este repositorio

mismo repositorio

foundry-sidekick-launcher

rajshah4/semi-demo

Launch or describe the visible parent/child conversation workflow for foundry RTL requests. Use when an OpenHands automation receives an RTL request and needs a parent orchestrator plus read-only child scout conversations before implementation.

2026-07-140

foundry-rtl-workflow

rajshah4/semi-demo

Use for foundry RTL tasks involving ChipCraftX RTL generation, model-route evidence, GitHub implementation issues, and handoff to EDA validation.

2026-07-140

foundry-model-routing

rajshah4/semi-demo

Use for Foundry IT requests that need model/tool routing, child automation handoff, air-gapped handling, RTL implementation, or EDA validation policy.

2026-07-130

foundry-context-sidekick

rajshah4/semi-demo

Read-only context scout for foundry RTL requests. Use before implementation when Codex/OpenHands needs to gather spec, repo, toolchain, and model-route context without editing code.

2026-07-130

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