电脑体验，效果更佳

葛海通图谱-自然科学领域：

相关人员

翁延玲 陈偕雄 徐鸿明 郑飞君 何乐年 严晓浪 罗小华 孟建熠

研究领域

综合 电路简化 模型检验 代码压缩 指令回收 混合SAT求解器 扫描链 固定点

所属机构

浙江杭州 浙江大学电气学院 浙江大学电气工程学院 浙江大学信息与电子工程系 浙江大学超大规模集成电路研究所 浙江大学超大规模集成电路设计研究所

标签云