Jun 27th, 2026

Jun 27th, 2026

今日记录

• mlvp

  • TBD SoC

  • ITGen重点关注

    • 支持了SPEC和multicore切片，支持从rvspec per line gen

      • 如何切片，动态静态？C or 指令？

      • 同样面临标准零散的问题

      • 切片与per spec的对关系

      • 可能UCA当前还是偏UT，倒没怎么特殊处理rvspec？看起来就是RAG 、 读

  • 华大九天形式化工具

    • 演讲这位专家印象很好，逻辑清晰

    • MC、LEC、还有个啥

    • 强调scale up到SoC的痛点在于智能的spec split

  • FMAgent

    • 是否真的能topdown？

    • fanout的影响？

  • yeestor

    • 覆盖率不够靠谱，偏简单了，mock和BFM环境

    • 定向覆盖引导？还卡在environment

    • 怎么看ucagent的输出（技术差异）

      • 看bug & 修复

      • check点（没听清）

  • 我咋没看到… (((6a3f6aa2-cb34-41be-a5c5-2e64bba12a6d))

    • 不过算是大致了解各团队干啥了，对华大九天印象倒是不错