bb-create-verif-plan

You can auto-generate a verification plan by reading a MAS seed and related MAS spec to produce a full document, consuming inputs like verif_plan_seed.md, mas_path, and design_name to output a complete verification_plan.md with artifact and generation script paths.

A verification plan seed is an incomplete or partial starting document. Expanding it ensures you explicitly document functional coverage checkpoints, target coverage, boundary cases, random constraints, and test case lists for a complete audit-friendly structure.

To create a six-section verification plan, the skill processes your MAS seed and enforces required sections, providing a ready-to-run contract that explicitly documents functional coverage, boundary cases, random constraints, and test case lists.

Yes, this workflow integrates with the overall Babel verification flow and outputs a companion generator script path, serving as a ready-to-run contract for downstream testbench generation tools like bb-generate-tb.

You need to provide the verif_plan_seed.md file, the mas_path, and the design_name. The skill reads these inputs to produce the full verification plan document and return a structured status with potential error details.

If generation encounters an error, the skill returns a structured status containing potential error details, allowing you to audit the specific issues encountered while reading the MAS seed and related MAS spec inputs.