浙江省自然科学基金(Y106707)
- 作品数：5 被引量：5H指数：2
- 相关作者：曾松伟李光辉周巧娣刘敬彪邵明更多>>
- 相关机构：浙江林学院浙江大学杭州电子科技大学更多>>
- 发文基金：浙江省自然科学基金国家高技术研究发展计划浙江省科技计划项目更多>>
- 相关领域：自动化与计算机技术农业科学电子电信更多>>
- 基于电路拓扑结构分析的等价性验证方法
- 2008年
- 随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS 85电路的实验结果表明了该方法的效率和可行性.
- 李光辉冯冬芹曾松伟
- 关键词：组合电路等价性验证布尔可满足性
- 时序电路等价性检验中的存储元素映射方法研究被引量：2
- 2009年
- 随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度,提高验证效率和处理大规模电路的能力,通常需要构造两个被验证电路的存储元素映射之间的映射关系,从而将时序电路等价性检验问题转化为组合电路等价性检验问题。较全面地介绍了时序电路等价性检验的基本方法及其研究进展,讨论了基于存储元素映射的时序电路等价检验方法的基本思想,并介绍了若干具有代表性的存储元素映射方法,展望了集成电路等价检验方法的研究发展方向。
- 李光辉曾松伟
- 关键词：集成电路等价性检验
- 结合逻辑模拟和布尔可满足性的设计错误诊断方法
- 2010年
- 在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准确性。该方法首先使用模拟方法对候选的错误区域逐一进行判断,对于不能由模拟方法判别的候选区域,使用基于SAT的形式化方法进一步判断。针对ISCAS′85电路的实验结果表明,该方法具有较高的错误诊断准确性和效率。
- 曾松伟李光辉
- 关键词：布尔可满足性逻辑模拟
- 系统级模型与RTL实现的等价性验证方法
- 集成电路设计的等价性检验是重要的形式化验证方法。由于系统级模型和寄存器传输级(RTL)实现之间存在很大的语义差别,并且不存在结构相似性,这两者之间的等价性检验面临许多挑战。本文对国内外关于系统级模型与RTL实现之间的等价...
- 曾松伟李光辉
- 关键词：集成电路等价性检验寄存器传输级
- 文献传递
- 基于拓扑结构分析的等价性验证方法
- 随着集成电路设计规模的日益增大,组合验证已成为时序电路的形式化等价性验证的重要手段。为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合。本文提出了一种基于电路拓扑结构分...
- 李光辉冯冬芹曾松伟
- 关键词：组合电路等价性验证布尔可满足性
- 文献传递
- 基于FPGA的植物工厂控制系统研究被引量：3
- 2008年
- 提出了一个植物工厂控制系统的设计方案,并对方案的硬件实现进行了详细的阐述。系统的现场单元采用基于NIOS的嵌入式处理器为核心器件,以充分发挥基于FPGA的NiosⅡ处理器的优势。由FPGA-EP1C12Q240C8完成数据采集、数据处理及气候环境参数调节等控制功能,并把数据通过串口传送给主机(PC机),从而实现控制系统的数据处理、监控和维护等功能。
- 曾松伟刘敬彪周巧娣
- 关键词：农业工程
- 基于存储元素映射的层次化等价性检验方法
- 2009年
- 为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.
- 李光辉曾松伟邵明
- 关键词：集成电路等价性检验
