闫炜
【姓名】 闫炜
【职称】
【研究领域】 无线电电子学;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 等价性检验,组合电路,二叉判定图,布尔可满足,自动测试向量产生,检验方法,算法,布尔函数,时序电路,验证方法,数字电路,有限状态机,验证任务,可满足性问题,启发式方法,变量排序,基本原理,随机模拟,优...
【工作单位】 中国科学院成都计算机应用研究所
【曾工作单位】 中国科学院成都计算机应用研究所;
【所在地域】 四川成都
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 4 4 1 6 322
中国期刊全文数据库    共找到4篇
[1]曾琼;闫炜;.组合电路等价性检验方法研究[J]计算机工程.2007,(04)
[2]闫炜;吴尽昭;高新岩;.符号模拟[J]计算机工程.2007,(20)
[3]高新岩;吴尽昭;闫炜;周宁;.非经典切片技术及其在形式验证中的应用综述[J]计算机工程与应用.2007,(36)
[4]齐芳;吴尽昭;闫炜;徐德启;.组合电路中逻辑错误诊断方法研究[J]计算机应用研究.2008,(01)
更多