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

分层 二叉决策图 别名效应 SoC仿真平台 原像计算 验证激励生成 IP功能验证 功能 等价性验证 权重索引离散 形式验证 约束 量化 正交分类 随机 寄存器匹配 微处理器 验证 神经网络 激励 输出分组 可达状态 时序等价性验证 电路可满足性 割集 不可达状态

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