杨军 董云耀 熊军 葛海通 董晨皓 朱彭遐 胡建萍 高根生 陈志锦 卢永江 车向勇 郑飞君 王国雄 竺红卫 黄凯 孟建熠 张欣 潘赟 李源深 丁勇 殷燎 史峥 马琪 薛念 翁延龄 李春强

输出分组 电路可满足性 光刻仿真 割集 SDIO接口 Cholesky分解法 对称正定阵 矩阵分解 系统级设计 时序等价性验证 不可达状态 等价性验证 二叉决策图 可达状态 通用互联网络 验证 PG网分析 多核嵌入式系统 光学邻近校正 设计 验证激励生成 CK-Core IP功能验证 原像计算 形式验证 量化 正交分类 寄存器匹配 Mesh结构 SoC仿真平台

浙江大学超大规模集成电路设计研究所 杭州电子工业学院微电子CAD研究所 浙江大学VLSI设计研究所 杭州310027浙江财经学院信息学院杭州 杭州310027鞍山科技大学电子与信息工...