电脑体验，效果更佳

卢永江图谱-自然科学领域：

相关人员

郑飞君 严晓浪 杨军 葛海通

研究领域

专用割集 依赖性 形式验证 通用割集

所属机构

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

标签云