func-spec

What problem does it solve?

This skill helps extract and organize DUT functional specifications and their formal detection points, converting scattered information into a reusable YAML structure for formal verification workflows.

Core Features & Use Cases

• Develops a hierarchical FG/FC/CK model to capture environment constraints, functional points, and checks.
• Automates updates to .formal_records.yaml via the update_spec.py script, ensuring consistent structure.
• Guides users from RTL/document inputs to formal verification planning with safe, script-driven edits.

Quick Start

Run the update_spec.py script to add FG/FC/CK entries for your DUT and generate the formal specification document.