张镭 林争辉

对称变量 布尔匹配 FNA算法 允许函数 测试生成 时序安全可替换性 逻辑综合 时间优化 可观测性无关项 组合逻辑电路 集成电路 计算机辅助设计 递归学习 关键路径 逻辑集成电路 有序二叉判定树 变换化简法 时序分析 最小项 变量标签 敏化

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