简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:为了验证基于弹簧粒子模型及其衍生定位算法的性能,本文设计了一种新的无线传感器混合网络系统,并进行了相关的实验验证。本文的混合网络是基于CC2431传感器节点和智能手机高级节点组成的混合网络,其中CC2431用于数据采集与节点定位等,智能手机iPhone网络用于传达任务、获取数据以及数据显示。实验研究结果表明,本混合网络系统是稳定可靠的,且系统的测距和定位算法的精度较高,网络的路由算法稳定可靠,可满足一般机器人导航等无线传感器网络应用场景。