@di_zhao
Zhao Di 暂无简介
# IR4LLM FSM 编辑器 > 便于大模型理解的有限状态机高层中间表示 · 8步标准化撰写流程
SATinUVM 是一个面向数字 IC 子模块验证的流程管理与制品整合平台，把“形式化证明（SAT/SMT）”和“动态仿真（UVM）”两条互补的验证通路，统一收敛到**同一份冻结的 SVA 断言文件**上，并用 AI Coding 大模型半自动化生成断言，再经人工评审冻结后作为两条通路的唯一断言源。
FSM spec转换成标准格式（standard form）
