formal-verification
Formal property verification and model checking skill for FPGA designs
npx skills add a5c-ai/babysitter --skill formal-verification --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Formal Verification Skill ## Overview Expert skill for formal property verification and model checking, enabling exhaustive verification of FPGA design properties without simulation. ## Capabilities - Write properties for formal verification - Configure formal tool constraints - Analyze formal counterexamples - Apply bounded model checking - Configure cover and assume directives - Debug formal failures - Integrate formal with simulation flows - Support JasperGold and VC Formal flows ## Target Processes - sva-development.js - cdc-design.js - constrained-random-verification.js ## Usage Guidelines ### Property Types - **assert property**: Must always hold - **assume property**: Environment constraints - **cover property**: Reachability goals - **restrict property**: Strong constraints ### Formal Approaches - **Bounded Model Checking**: Check properties up to N cycles - **Unbounded Proof**: Complete verification when possible - **Induction**: K-induction for liveness properties - **Abstraction**: Reduce complexity for scalability ### Writing Effective Properties ```systemverilog // Safety property assert property (@(posedge clk) disable iff (rst) req |-> ##[1:5] gnt); // Liveness pro
- Overview
- Capabilities
- Target Processes
- Usage Guidelines
- Property Types
- Formal Approaches
- Writing Effective Properties
- Constraint Development
- Counterexample Analysis
- Tool Integration
- Dependencies
What does the formal-verification skill do?
Formal property verification and model checking skill for FPGA designs
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill formal-verification --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.