浙江省自然科学基金(M603097)
- 作品数：6 被引量：100H指数：5
- 相关作者：李光辉李晓维邵明赵军王智更多>>
- 相关机构：浙江林学院中国科学院浙江大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信农业科学更多>>
- 基于无线传感器网络的森林火灾监测预警系统被引量：72
- 2006年
- 无线传感器网络是信息科学的一个新研究领域,提出了一种基于无线传感器网络的森林火灾监测预警技术的系统框架及其实现方案,重点讨论了森林火灾预测预报模型、无线传感器网络节点的部署及拓扑形成机制、传感器网络节点与火险精确定位方法、无线通信协议等关键问题.
- 李光辉赵军王智
- 关键词：无线传感器网络森林火灾远程监测无线通信
- 验证包含黑盒的电路设计的有效方法被引量：9
- 2004年
- 在超大规模集成电路设计中 ,为了进行早期的设计错误检测与调试或层次化验证 ,常常需要使用含黑盒的设计验证方法 .该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法 ,用于验证设计中黑盒外部的功能正确性 .该方法使用量化的合取范式 (CNF)来表示电路中出现的未知约束 ,并且不需要修改电路结构 ,有效地节省了计算资源 .此外 ,通过使用随机并行模拟增强了可满足性算法的错误检测能力 .通过对ISCAS’85电路的实验表明了该方法不仅比以往同类算法速度快 ,而且具有较好的错误检测能力 .
- 李光辉邵明李晓维
- 关键词：超大规模集成电路设计合取范式
- 一个适于形式验证的ATPG引擎被引量：9
- 2004年
- 自动测试产生 (ATPG)不仅应用于芯片测试向量生成 ,也是芯片设计验证的重要引擎之一 提出了一种组合电路测试产生的代数方法 ,既可作为组合验证的ATPG引擎 ,又可用于通常的测试产生 该算法充分发挥了二叉判决图(BDD)及布尔可满足性 (SAT)的优势 ,通过启发式策略实现SAT算法与BDD算法的交替 ,防止因构造BDD可能导致的内存爆炸 ,而且使用增量的可满足性算法 ,进一步提高了算法的效率
- 李光辉邵明李晓维
- 关键词：组合电路布尔可满足性
- 电路宽度制导的布尔推理被引量：6
- 2004年
- 在基于逻辑电路的布尔推理过程中 ,经常用到二叉判决图 (BDD)与布尔可满足性 (SAT)相结合的算法 由于电路宽度能很好地反映电路的复杂性 ,提出了一种基于电路宽度的启发式策略 ,根据电路宽度来实现SAT算法与BDD算法的交替 充分发挥两者的优势 ,不仅可以防止因构造BDD可能导致的内存爆炸 ,而且还能避免SAT算法可能遇到的超时现象 与以往同类策略相比 ,该启发式策略更节省计算资源 ,提高算法性能 针对组合电路的测试产生实验 。
- 李光辉邵明李晓维
- 关键词：布尔可满足性
- 通用CPU设计验证中的等价性检验方法被引量：5
- 2005年
- 针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性 ,提出了目前应用最广泛的一种形式验证方法———等价性检验在一款通用CPU设计验证中的应用方案 ,包括寄存器传输级 (RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证 此外 ,给出了验证过程中一些常见问题的解决办法 验证结果表明了该方法的可行性 。
- 李光辉邵明李晓维
- 关键词：等价性检验
- 基于增量可满足性的等价性检验方法被引量：13
- 2004年
- 组合验证是数字集成电路形式化设计验证的重要方面 .该文提出了一种基于增量布尔可满足性的组合等价性检验方法 ,通过合理选择候选等价结点和增量可满足性算法来提高算法性能 ,并通过对内部等价结点的置换及将等价关系转化为相应的合取范式公式 ,避免了误判的发生 ,又能缩小验证程序的搜索空间 .针对ISCAS’85电路的实验结果表明 ,该文提出的方法比以往同类方法更快、更强健 .
- 李光辉李晓维
- 关键词：等价性检验组合电路数字集成电路
