職業分類
電子エンジニア（コンピュータ除く）
説明
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
原文の言語: 中国語
更新
XS-MLVP/tutorial-records
SkillsMP は XS-MLVP/tutorial-records から 11 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
- 記録された最新のソース活動
- SkillsMP カタログ更新
- 収集済み skills
- 11
- GitHub スター
- 4
- GitHub フォーク
- 0
このリポジトリの skills
3 件の職業カテゴリ · 82% 分類済み
収集済み skill 11 件中 11 件を表示しています。
skill
職業分類
説明
更新
職業分類
電子エンジニア（コンピュータ除く）
説明
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
原文の言語: 中国語
更新
職業分類
ソフトウェア開発者
説明
提取和分析被测模块(DUT)的功能规格和形式化检测点
原文の言語: 中国語
更新
職業分類
ソフトウェア開発者
説明
环境分析技能。Checker 已自动解析日志并生成骨架，LLM 仅需通过脚本填写分析详情。
原文の言語: 中国語
更新
職業分類
ソフトウェア開発者
説明
在 YAML 中编写 SVA 属性检测代码
原文の言語: 中国語
更新
職業分類
ソフトウェア開発者
説明
指导解释覆盖率报告并优化未覆盖死角的技能
原文の言語: 中国語
更新
職業分類
ソフトウェア品質保証アナリスト・テスター
説明
创建测试用例模板阶段专属技能,用于指导测试用例模板的创建以及格式规范
原文の言語: 中国語
更新
職業分類
ソフトウェア品質保証アナリスト・テスター
説明
功能规格分析与测试点定义阶段及其子阶段专属技能,用于指导{DUT}_functions_and_checks.md的写入工作
原文の言語: 中国語
更新
職業分類
ソフトウェア開発者
説明
RTL源码静态Bug分析阶段专属技能,用于指导 static_bug_analysis.md 文件的编写以及格式规范
原文の言語: 中国語
更新
職業分類
未分類
説明
静态分析Bug验证与动态关联阶段专属技能,用于指导建立静态 Bug 与动态 Bug 的标签级追踪链接
原文の言語: 中国語
更新
職業分類
未分類
説明
分批测试用例实现与对应bug分析阶段专属技能,用于指导测试用例实现,Bug分析与报告撰写
原文の言語: 中国語
更新
収集済み skill 11 件中 11 件を表示しています。