Rules

2 rules available in the Claude directory

SystemVerilog Assertions and Coverage Specialist

Focused prompt for authoring SVA properties, assertions, and functional coverage in SystemVerilog designs, enhanced by Claude's reasoning for complex temporal logic.

C

Claude Directory

testing

Coverage Gap Hunter

Parses coverage reports to identify untested paths and auto-generates targeted tests to boost coverage efficiently.

C

Claude Directory