sva-opt
OfficialAutomate COI coverage optimization end-to-end.
AuthorXS-MLVP
Version1.0.0
Installs0
System Documentation
## What problem does it solve? Automates analysis and optimization of formal verification COI coverage to fill uncovered signals.
## Core Features & Use Cases
- Read and analyze COI feedback from formal tooling and map signals to assertion actions.
- Update .formal_records.yaml with new CK entries and generate corresponding SVA bodies, then run PropertyStructureChecker to apply changes.
- Re-run formal verification with extended timeout to validate coverage improvements, iterating until COI passes.
### Quick Start Run the formal verification workflow using the sva-opt skill to analyze COI coverage data and automatically insert new assertions.
Dependency Matrix
Required Modules
None requiredComponents
scripts
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: sva-opt Download link: https://github.com/XS-MLVP/UCAgent/archive/main.zip#sva-opt Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.