电脑体验，效果更佳

葛海通图谱-机械领域：

相关人员

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

研究领域

二叉决策图 验证激励生成 原像计算 正交分类 等价性验证 形式验证 寄存器匹配 SoC仿真平台

所属机构

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

标签云