摘要：本文通过介绍目前国际先进的软件测试代码覆盖统计技术,对白盒测试和黑盒测试的特点进行对比,分析两种方法的特点和不足,从而综合两种测试方法,对如何将代码覆盖信息转换为功能覆盖信息技术问题进行探究,解决如何将代码覆盖信息转换为功能覆盖信息技术问题,提供一种将代码覆盖信息转换为功能覆盖信息的方法,从功能角度设计新的测试用例覆盖未测试的代码,并提供了原型开发系统的示例,从而搭建白盒测试与黑盒测试之间桥梁,充分发挥白盒测试与黑盒测试各自特长,提高测试充分性和效率。

摘要：针对WLAN基带芯片的特点与功能验证需求,提出并实现基于SystemVerilog语言和MATLAB参考模型的功能验证方案.并给出该方案中MATLAB参考模型与验证平台的融合,功能覆盖模型的定义以及覆盖率驱动验证机制.使用该方案有效地提高一款WLAN基带芯片的功能验证效率和质量,完成功能验证目标.

摘要：重新分类了现有的面向对象方法,并以此对《设计模式》(Erich Gamm a、R ichard Heln、Ralph Johnson、John V lissides著)一书中的23个模式重新进行分类,以揭示面向对象方法的本质和原理,并试图说明在设计模式中是如何使用这些方法来增加软件的复用能力的。

摘要：针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降低了传统验证过程中对验证者个人经验的依赖,同时为验证的完备性提供了有效的度量手段。该方案使用Sysytem Verilog语言实现,根据VMM验证思想,搭建了一个层次化的逻辑验证环境。与传统的验证环境相比,该方案中的验证环境在验证自动化、组件重用等方面有突出的改进。实践证明,新的验证方案能够充分保证验证的完备性,同时能有效地提高验证效率,缩短验证周期。

摘要：本文首先分析了传统验证方法的不足和使用RVM随机验证的原因,指出了RVM随机验证的3个关键点,接着介绍了RVM随机验证方法学的主要特征和一些重要术语,以及RVM验证方法学中层次化验证的结构。最后,结合UART(通用异步收发报机)实例,对3个关键点进行了详细的阐述。本文主要介绍了在搭建高效验证平台时,需要认真分析和详细设计的3个关键点,平台搭建方法是RVM参考验证方法学。通过本文的论述,在进行芯片验证时,只要设计好了这3个关键点就可以保证验证的快速和高效。

摘要：基于仿真的验证和形式验证是用于测试的两种方法。由于形式验证难以用于大型设计的测试,所以HDL验证的主要方法是通过大量的测试向量仿真HDL代码来完成。实际中一般运用覆盖方法来分析仿真的完备性,虽然100%的覆盖并不能表明程序100%的没有错误,但却是衡量测试是否完成的一个重要标准。文中主要分析了代码覆盖和功能覆盖方法,并给出了具体例子。