Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

foundry-eda-validation

Étoiles0

Forks0

Mis à jour13 juillet 2026 à 14:08

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

Installation

Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.

Exécuter dans Manus

Source

rajshah4

rajshah4/semi-demo

Ouvrir le dépôt GitHub Voir les dépôts du créateur

Téléchargement

Exécuter dans Manus

Métiers associésSOC

Basé sur la classification professionnelle SOC

Ingénieurs électriquesArchitecture et ingénierie·SOC 17-2071

Explorateur de fichiers

2 fichiers

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

Plus depuis ce dépôt

même dépôt

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