浙江省科技计划项目(2007C21045)
- 作品数：2 被引量：2H指数：1
- 相关作者：曾松伟李光辉许伟强胡海根更多>>
- 相关机构：浙江林学院浙江大学更多>>
- 发文基金：浙江省科技计划项目浙江省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 水质参数监测系统设计与实现
- 2009年
- 为了实现水质参数的远程监控,提出了一种基于MSP430和GPRS的水质参数监测系统设计方案——以MSP430F149单片机为核心,由水质参数检测模块、语音报警模块、数据储存模块、时钟模块、人机通信模块、GPRS通信模块和上位机软件平台组成,并给出了系统的构成及主要设计,实现了水质参数的检测及传输。
- 曾松伟许伟强胡海根
- 关键词：通用分组无线业务MSP430水质RTU
- 时序电路等价性检验中的存储元素映射方法研究被引量：2
- 2009年
- 随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度,提高验证效率和处理大规模电路的能力,通常需要构造两个被验证电路的存储元素映射之间的映射关系,从而将时序电路等价性检验问题转化为组合电路等价性检验问题。较全面地介绍了时序电路等价性检验的基本方法及其研究进展,讨论了基于存储元素映射的时序电路等价检验方法的基本思想,并介绍了若干具有代表性的存储元素映射方法,展望了集成电路等价检验方法的研究发展方向。
- 李光辉曾松伟
- 关键词：集成电路等价性检验
