随着集成电路的发展,电子设备变得越来越复杂,对于通用串行总线(Universal Serial Bus,USB)接口的验证来说,传统的验证方法已经无法满足需求。使用通用验证方法学(Universal Verification Methodology,UVM)验证平台可以提高验证效率,减...随着集成电路的发展,电子设备变得越来越复杂,对于通用串行总线(Universal Serial Bus,USB)接口的验证来说,传统的验证方法已经无法满足需求。使用通用验证方法学(Universal Verification Methodology,UVM)验证平台可以提高验证效率,减少人工操作和误差,保证USB设备的品质和可靠性。本文介绍了一种基于UVM的USB接口验证平台设计,该平台可以对USB接口进行模块化和可重用性设计,支持自动化测试流程,测试数据的收集和分析等功能。通过应用UVM验证平台,针对USB接口传输方式对其单次传输过程进行封装并继承使用,加速USB设备的开发和测试进程,提高产品质量和生产效率。实验结果表明,与传统的验证方法相比,使用UVM验证平台可以显著提高验证效率和精度。此外,该平台还具有高可靠性和高可维护性,可广泛应用于各种USB设备的开发与生产过程中。展开更多
针对闪存存储器NorFlash而言,其功能验证与参数测试主要依赖于集成电路自动测试机(ATE,automatic test equipment),采用ATE进行测试程序开发时存在测试向量编写困难、测试程序编写流程复杂、ATE机时占用时间长等不足,通过研制一款基于...针对闪存存储器NorFlash而言,其功能验证与参数测试主要依赖于集成电路自动测试机(ATE,automatic test equipment),采用ATE进行测试程序开发时存在测试向量编写困难、测试程序编写流程复杂、ATE机时占用时间长等不足,通过研制一款基于可变静态存储控制器(FSMC,flexible static memory controller)技术的NorFlash功能验证装置,在功能验证时可以实现NorFlsah测试向量的地址动态递增和数据动态添加,时序设置简单,从而减少开发周期和难度,同时释放ATE机时占用;并且可广泛外接各类型高精度源表设备进行部分交直流参数的测试;在板级模拟NorFlsah实际工作条件进行验证测试所得到的功能验证效果与测试数据均符合芯片手册要求,为后续此类存储芯片的选用与评估提供可靠的试验支撑。展开更多
航天器系统可靠性设计与验证作为航天器系统设计中的重点问题,随着航天器系统的复杂度、综合性和智能化程度越来越高,传统基于静态系统架构的可靠性设计已经越来越不能满足设计需求.而基于模型的系统设计方法在系统结构与行为一体化设...航天器系统可靠性设计与验证作为航天器系统设计中的重点问题,随着航天器系统的复杂度、综合性和智能化程度越来越高,传统基于静态系统架构的可靠性设计已经越来越不能满足设计需求.而基于模型的系统设计方法在系统结构与行为一体化设计方面具有优势.本文在对基于模型的系统工程(model based system engineeving, MBSE)的航天器控制系统可靠性设计和分析工作进行分解的基础上,利用SysML建模语言,建立航天器通用化单机级和系统级可靠性验证模型,并以此为基础建立可靠性架构和行为的跨层级设计和验证一体化模型和设计流程,实现系统自顶向下的可靠性设计和结果验证迭代方案;利用实例表、值属性和Opaque元素,设计模型内及模型与外部文件间参数的传递与管理方法.设计实践表明本文提出的整套方案能满足通用化航天器系统可靠性设计与验证的需求,有助于航天器系统设计的模型化、模块化发展.展开更多
文摘随着集成电路的发展,电子设备变得越来越复杂,对于通用串行总线(Universal Serial Bus,USB)接口的验证来说,传统的验证方法已经无法满足需求。使用通用验证方法学(Universal Verification Methodology,UVM)验证平台可以提高验证效率,减少人工操作和误差,保证USB设备的品质和可靠性。本文介绍了一种基于UVM的USB接口验证平台设计,该平台可以对USB接口进行模块化和可重用性设计,支持自动化测试流程,测试数据的收集和分析等功能。通过应用UVM验证平台,针对USB接口传输方式对其单次传输过程进行封装并继承使用,加速USB设备的开发和测试进程,提高产品质量和生产效率。实验结果表明,与传统的验证方法相比,使用UVM验证平台可以显著提高验证效率和精度。此外,该平台还具有高可靠性和高可维护性,可广泛应用于各种USB设备的开发与生产过程中。
文摘航天器系统可靠性设计与验证作为航天器系统设计中的重点问题,随着航天器系统的复杂度、综合性和智能化程度越来越高,传统基于静态系统架构的可靠性设计已经越来越不能满足设计需求.而基于模型的系统设计方法在系统结构与行为一体化设计方面具有优势.本文在对基于模型的系统工程(model based system engineeving, MBSE)的航天器控制系统可靠性设计和分析工作进行分解的基础上,利用SysML建模语言,建立航天器通用化单机级和系统级可靠性验证模型,并以此为基础建立可靠性架构和行为的跨层级设计和验证一体化模型和设计流程,实现系统自顶向下的可靠性设计和结果验证迭代方案;利用实例表、值属性和Opaque元素,设计模型内及模型与外部文件间参数的传递与管理方法.设计实践表明本文提出的整套方案能满足通用化航天器系统可靠性设计与验证的需求,有助于航天器系统设计的模型化、模块化发展.