skills.rest
XS-MLVP
XS-MLVPOFFICIAL
Explore all skills by this author →
WebsiteGitHub

bug-report

Scaffold RTL_BUG entries from verification analysis into .formal_records.yaml.

207|45|Updated May 27, 2025
Search Tags:#automation#documentation#verification#yaml#scripts#rtl#bug-report
One-click install
npx skills add https://github.com/XS-MLVP/UCAgent --skill bug-report-xs-mlvp
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: bug-report
Source: https://github.com/XS-MLVP/UCAgent/tree/main/ucagent/lang/zh/skills/formal/bug-report
Command: npx skills add https://github.com/XS-MLVP/UCAgent --skill bug-report-xs-mlvp

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

What problem does it solve?

从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml，减少手工录入和潜在错误。

Core Features & Use Cases

  • Auto-scaffold bug entries from RTL_BUG resolutions in analysis.
  • Fill and update bug details (IDs, descriptions, root causes, triggers, and status) using dedicated scripts.
  • Centralize bug documentation in .formal_records.yaml to enable traceability and reporting.

Quick Start

Run the initialization and update scripts to scaffold a bug entry and fill its details from RTL analysis.

Frequently Asked Questions about bug-report

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I generate formal bug reports from RTL verification analysis?▼

You can automate bug report generation from RTL verification analysis by running scripts that extract bug attributes and persist them directly to .formal_records.yaml. This reduces manual entry and errors.

What information is required to scaffold an RTL bug entry?▼

Scaffolding an RTL bug entry requires analysis resolutions containing bug IDs, descriptions, root causes, triggers, expected and actual results, and status, which are validated against predefined tag lists for data integrity.

How does YAML persist bug tracking data in RTL formal workflows?▼

YAML persists bug tracking data in RTL formal workflows by centralizing documentation in the .formal_records.yaml file, enabling traceability and reporting while enforcing field validation against predefined tag lists.

Does formal bug reporting validate fields against predefined tag lists?▼

Formal bug reporting enforces data integrity by validating entry fields such as IDs, descriptions, and status against predefined tag lists before persisting results to .formal_records.yaml.

Can I link bug entries directly to verification analysis resolutions?▼

You can link bug entries directly to verification analysis resolutions by operating within RTL formal workflows to fill details and reference the analysis sources, ensuring end-to-end traceability in .formal_records.yaml.

Related Skills

Explore More Software Engineering Skills→
XS-MLVPXS-MLVP
207

static-bug-analysis

Analyze RTL designs for static bugs using FG/FC/CK taxonomy.

Official
Intermediate
chagongchagong
1

send-notification

Send structured JSON payloads as adaptive card notifications to Microsoft Teams via Azure Logic App.

Community
Basic
saitocosaitoco

review

Coordinate acceptance criteria verification and multi-perspective reviews on GitHub pull requests.

Official
Advanced
chrismcmackenchrismcmacken

review-artifacts

Triage artifact scan results to surface reportable bug bounty findings.

Community
Intermediate