简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:为了验证基于弹簧粒子模型及其衍生定位算法的性能,本文设计了一种新的无线传感器混合网络系统,并进行了相关的实验验证。本文的混合网络是基于CC2431传感器节点和智能手机高级节点组成的混合网络,其中CC2431用于数据采集与节点定位等,智能手机iPhone网络用于传达任务、获取数据以及数据显示。实验研究结果表明,本混合网络系统是稳定可靠的,且系统的测距和定位算法的精度较高,网络的路由算法稳定可靠,可满足一般机器人导航等无线传感器网络应用场景。
简介:2015年,中国煤炭高等教育协会高等教育分会秘书处经认证审核开始使用官方微信公众号'煤炭高教(cumtmtgj)'。公众号'煤炭高教',是煤炭行业特色高校开展高教研究、工作交流以及读者、作者与《煤炭高等教育》交互式交流的新平台。目前,该公众号发布的信息包括:(1)高教研究。提供最新的高等教育热点资讯、高等教育研究趋势分析以及高等教育相关课题申报信息等。(2)高教分会。发布高教分会工作动态、年会和校长论坛信息及各会员高校相关消息,校长论坛的发展历史及历届会议