A
Assertion 计划生成
92功能验证v1.0.0
把协议规则、状态机、异常优先级和安全属性转成 SVA 计划与断言骨架,帮助验证团队建立可维护的 checker 体系。
SVAAssertionProtocolFormal
已验证136 次
查看详情Skill 市场
按 IC 研发流程组织能力包,覆盖规格、RTL、验证、综合、物理实现、签核和自动化。
当前显示 6 个 Skill
清除筛选把协议规则、状态机、异常优先级和安全属性转成 SVA 计划与断言骨架,帮助验证团队建立可维护的 checker 体系。
把复杂仿真失败、随机种子、配置参数和日志整理成最小复现用例,减少 RTL、验证和工具团队之间的沟通成本。
读取功能覆盖、代码覆盖、失败 regression 和验证计划,定位真正阻碍 signoff 的覆盖缺口,生成可执行的 test/constraint/checker 补强方案。
根据 DUT 接口、事务模型、寄存器表和验证计划生成 UVM agent、sequence、scoreboard、coverage 与 smoke regression 骨架,重点保证结构可维护。
从寄存器表生成 UVM Register Abstraction Layer 模型、访问策略、mirror/reset 检查和寄存器测试计划,适合 CSR 密集型 IP。
把仿真失败日志、关键波形信号、断言报错和测试上下文整理成可复现 debug 摘要,帮助工程师快速定位 RTL 或 testbench 根因。