殷燎 卢永江 翁延龄 严晓浪 张欣 杨军 孟建熠 郑飞君 黄凯

二叉决策图 验证激励生成 原像计算 正交分类 等价性验证 形式验证 寄存器匹配 SoC仿真平台 IP功能验证 输出分组 时序等价性验证 量化 割集 不可达状态 电路可满足性 可达状态

浙江大学超大规模集成电路设计研究所 杭州310027浙江财经学院信息学院杭州