搜索到 篇“ 等价性验证 “的相关文章

相关作者

葛海通
作品数：93被引量：146H指数：6
供职机构：浙江大学
研究主题：等价性验证 VLSI 低功耗 寄存器 等价性
严晓浪
作品数：488被引量：989H指数：15
供职机构：浙江大学电气工程学院
研究主题：集成电路 VLSI 低功耗 版图 光学邻近校正
杨军
作品数：17被引量：89H指数：6
供职机构：浙江大学电气工程学院
研究主题：等价性验证 等价性 组合电路 阻抗 布尔可满足性
张立明
作品数：70被引量：168H指数：8
供职机构：吉林大学计算机科学与技术学院
研究主题：基于模型诊断 集合枚举树 人工智能 求解器 数字电路测试
郑飞君
作品数：8被引量：44H指数：4
供职机构：浙江大学电气工程学院超大规模集成电路设计研究所
研究主题：等价性验证 等价性 组合电路 布尔可满足性 KRIPKE结构