电脑体验，效果更佳

翁延玲图谱-自然科学领域：

相关人员

葛海通 严晓浪 郑飞君

研究领域

逻辑综合 综合 半加树 集成电路设计 混合SAT求解器 等价性验证 算术电路

所属机构

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

标签云