职业分类
电子工程师（非计算机）
描述
从 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 Forks
- 0
这个仓库中的 skills
3 个职业分类 · 已分类 82%
已展示 11 / 11 个已收集 Skill。
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分析与报告撰写
更新
已展示 11 / 11 个已收集 Skill。