电脑体验，效果更佳

郑飞君图谱-自然科学领域：

相关人员

严晓浪 杨军 葛海通 卢永江 翁延玲

研究领域

模型检验 目标模拟 等价性验证 局部二叉判决图 固定点 锁存器匹配 Kripke结构 符号模型检验

所属机构

浙江杭州 浙江大学超大规模集成电路设计研究所

标签云