电脑体验，效果更佳

龙望宁图谱-计算机领域：

相关人员

李忠诚 闵应骅 薛宏熙 边计年 贝劲松 杨士元 吴有亮 洪先龙

研究领域

布尔函数 逻辑设计验证 通路敏化 形式验证 集成电路测试 冗余添加和删除技术 二叉判决图 逻辑综合

所属机构

清华大学自动化系 清华大学计算机科学与技术系 香港中文大学计算机科学与工程系 中国科学院计算技术研究所ＣＡＤ开放实验室 中国科学院计算技术研究所CAD开放实验室

标签云