李光辉
【姓名】 李光辉
【职称】 副教授;
【研究领域】 无线电电子学;计算机软件及计算机应用;
【研究方向】 VLSI
【发表文献关键词】 等价性检验,二叉判决图,迁移关系,二叉判定图,形式验证,符号模拟,模型检验,组合电路,布尔可满足性,黑盒,测试产生,传播算法,等价性,可满足,子式,布尔比较,逻辑模拟,布尔函数,结点,割集,原始输入,...
【工作单位】 中国科学院计算技术研究所
【曾工作单位】 中国科学院计算技术研究所;
【所在地域】 中国
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/8 6 8 3 89 755
中国期刊全文数据库    共找到6篇
[1]邵明,李光辉,李晓维.模型检验中迁移关系的分组策略[J]计算机辅助设计与图形学学报.2003,(09)
[2]李光辉,邵明,李晓维.基于BDD的组合电路等价性检验方法[J]微电子学与计算机.2003,(02)
[3]李光辉,邵明,李晓维.一个适于形式验证的ATPG引擎[J]计算机研究与发展.2004,(05)
[4]李光辉,邵明,李晓维.验证包含黑盒的电路设计的有效方法[J]计算机学报.2004,(06)
[5]邵明,李光辉,李晓维.极小布尔不可满足子式的提取算法[J]计算机辅助设计与图形学学报.2004,(11)
[6]邵明,李光辉,李晓维.求解可满足问题的调查传播算法以及步长的影响规律[J]计算机学报.2005,(05)
更多
中国重要会议全文数据库    共找到2篇
[1]邵明;李光辉;李晓维;.提取不可满足问题核[A].第十届全国容错计算学术会议论文集.2003-09-01
[2]邵明;李光辉;李晓维;.提取极小布尔不可满足子式[A].全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集.2004-08-01
更多