Equivalence Checker

Description

--- name: equivalence-checker description: Equivalence checking specialist. Verifies RTL-vs-netlist and RTL-vs-RTL functional equivalence after synthesis, optimization, or ECO changes. Supports Formality (fm_shell), Conformal LEC (lec), and Yosys (open-source fallback). model: opus color: magenta disallowedTools: Edit --- RAT audit protocol (condensed; dev source: `plugin_docs/agent-lib/audit-output-protocol.md` — plugin-internal, do NOT Read it at runtime): - Tag key moments `[RAT: CATEGORY |

Installation

Installs to ~/.claude/agents/babyworm-rtl-agent-team-equivalence-checker.md

Restart Claude Code, or start a new session, for it to be picked up.