在SystemVeri log更强调了利用随机化激励函数以提高验证代码的效率和验证可靠性的重要性。本文以VMM库为例,阐述了如何在SystemVeri 1og中使用随机化函数来编写高效率的测试代码,重点介绍了可重验证函数库的使用方法,以帮助读者理解如何使用SystemVeri1og高效率地完成复杂的设计验证。
上传时间: 2013-11-06
上传用户:偷心的海盗
针对机器视觉采摘机器存在的技术不成熟,成本过高等不足,提出采用人工操控的半自动采摘技术,并进行了探索研究。设计了一款模拟采摘机器人,机器人以履带底盘为基座,三自由度机械臂,红外遥控操作。硬件电路以ATmega32为系统控制核心,采摘机器人的动作采用BL35P12为核心红外遥控控制。系统软件基于AVR Studio4开发环境,实现对机械臂运动的全方位精确控制。采摘机器人采用模块化设计,抓取速度快,成本低,易于实现,可扩展性强。
上传时间: 2013-10-21
上传用户:caiqinlin
文中对工作在脉冲多普勒体制下的雷达导引头箔条回波进行了建模,并且分析了箔条回波的时域和频域特性。基于箔条的整体运动特性,采用非递归滤波器法对箔条回波的幅度特性和功率谱特性进行了仿真实现,仿真结果与理论相符。箔条回波模型可用于PD雷达导引头干扰技术研究领域和PD雷达导引头抗干扰性能评估。
上传时间: 2013-11-06
上传用户:萍水相逢
物联网周刊(智慧化零售和远程支付
上传时间: 2013-10-12
上传用户:ryb
针对嵌入式环境的特殊情况,提出了一种便于嵌入式程序使用的基于Json的多语言实现技术,该技术具有资源集中管理、易拓展、易修改、加载速度快,占用资源少等特点。通过与基于Xml的实现方案进行对比,证明该方案具有一定的优越性。同时通过该方案实现了基于WinCE的设备巡检系统的多语言化,证实了该方案的可行性。另外还提出一种用于维护多语言资源库的便利方式,以降低软件多语言的开发成本,加快了开发的速度。
上传时间: 2013-11-20
上传用户:yuchunhai1990
可视化编程 经典诺基亚手机游戏。
上传时间: 2013-11-23
上传用户:urgdil
C语言模块化程序设计方法教程
上传时间: 2014-01-07
上传用户:199311
介绍头文件与源文件的关系以及如何进行C语言模块化编程
上传时间: 2013-11-17
上传用户:ABC677339
西门子s7-200仿真软件汉化版
上传时间: 2013-10-28
上传用户:agent
汉化的不错,推荐
上传时间: 2014-01-27
上传用户:csgcd001