differential-verification

SKILLWorkflowcommunity
v0.0.0MidstallApache-2.0Updated 2mo agoSource →

Use when verifying a hardware DUT (a CPU core, FPGA, or netlist) against a golden reference model, building coverage-guided fuzzing, or detecting where silicon diverges from a simulator like Spike, an emulator, or SPICE

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
15Repo stars
1Clients
1Formats
2mo agoLast update
Skill
AuthorMidstall
Version0.0.0
LicenseApache-2.0
CategoryWorkflow
Formatsskill.md
PromptNot published
Compatibility
Claude✓ Supported
Cursor—
Copilot—
ChatGPT—
Gemini—
About

Use when verifying a hardware DUT (a CPU core, FPGA, or netlist) against a golden reference model, building coverage-guided fuzzing, or detecting where silicon diverges from a simulator like Spike, an emulator, or SPICE

Keywords
skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.