电脑体验，效果更佳

吕宗伟图谱-自然科学领域：

相关人员

张镭 林争辉

研究领域

对称变量 布尔匹配 FNA算法 允许函数 测试生成 时序安全可替换性 逻辑综合 时间优化

所属机构

上海交通大学大规模集成电路研究所

标签云