一种可重用的验证平台结构

传统的验证方法学已经不能满足SoC验证的需求,现在通常使用验证平台来提高验证的质量。SoC的设计实际上是IP的集成设计,因此需要建立两个验证平台：IP单独验证平台和SoC集成验证平台。为了减少验证时间,提高验证质量,最有效的办法是使这两个验证平台统一,即IP单独验证平台的部分元件甚至全部元件可以直接被SoC集成验证平台重用。文中提出的验证平台结构,可以直接使IP单独验证平台的部分元件,如激励、驱动、监视器、脚本等可以直接为SoC集成验证平台所重用。     

一种可重用的验证平台结构

传统的验证方法学已经不能满足SoC验证的需求,现在通常使用验证平台来提高验证的质量.SoC的设计实际上是IP的集成设计,因此需要建立两个验证平台:IP单独验证平台和SoC集成验证平台.为了减少验证时间,提高验证质量,最有效的办法是使这两个验证平台统一,即IP单独验证平台的部分元件甚至全部元件可以直接被SoC集成验证平台重用.文中提出的验证平台结构,可以直接使IP单独验证平台的部分元件,如激励、驱动、监视器、脚本等可以直接为SoC集成验证平台所重用.     

一种基于总线的可重用验证平台研究

提出了一种基于总线的可重用验证平台结构。该结构在传统的模块化和抽象技术的基础上,采用了层次化的片上总线结构,同时引入了参数化的设计方法,使可重用性进一步提高。实验结果表明,使用此方法构建的验证平台,可重用率至少可达60%,验证效率提高约35%。     

可重用的IP认证平台的设计

随着SoC出现,出现了大量可重用的IP库。这些IP可能来自公司内部的不同部门,也有可能来自外部的IP供应商。一方面为了使IP用户可以在芯片设计中更好地使用一些可重用的IP块,另一方面IP供应商也需要对IP的可重用性进行估计,以便通过不断改善设计方法学和设计技术最终能设计高可重用的IP块,因此需要对IP的可重用性进行评估,相应的就需要有一套完善的IP可重用性的评估系统。在分析了重用方法学手册和OpenMORE的基础上,讨论了可重用的IP认证平台的设计与开发,指出了已有系统的不足,提出了用数据库理论和使用VisualBasic6.0来实现,并进一步对系统设计中的ADO技术、树型目录结构等一些关键技术提出了实现方法。     

可重用的IP认证平台的设计

随着SoC出现,出现了大量可重用的IP库.这些IP可能来自公司内部的不同部门,也有可能来自外部的IP供应商.一方面为了使IP用户可以在芯片设计中更好地使用一些可重用的IP块,另一方面IP供应商也需要对IP的可重用性进行估计,以便通过不断改善设计方法学和设计技术最终能设计高可重用的IP块,因此需要对IP的可重用性进行评估,相应的就需要有一套完善的IP可重用性的评估系统.在分析了重用方法学手册和OpenMORE的基础上,讨论了可重用的IP认证平台的设计与开发,指出了已有系统的不足,提出了用数据库理论和使用Visual Basic 6.0来实现,并进一步对系统设计中的ADO技术、树型目录结构等一些关键技术提出了实现方法.     

系统芯片验证平台设计

使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台.验证平台的开发既浪费时间,又很难保证验证平台本身100%正确.文中提出了一种系统芯片验证平台开发方法,按该方法开发出的验证平台具有高可重用性、可扩展性、可升级性、可维护性和自动化等功能,提高了验证平台的开发效率,从而提高了验证效率.     

基于System Verilog的可重用验证平台

采用System Verilog语言设计了一种具有层次化结构的可重用验证平台,该平台能够产生各种随机、定向、错误测试向量,并提供功能覆盖率计算。将验证平台在Synopsys公司的VCS仿真工具上运行,并应用到包交换芯片的仿真验证中。仿真结果显示,新设计的验证平台能通过修改随机信号约束条件和产生随机信号的权重值,使芯片的功能覆盖率达到100%。     

基于RVM的可重用性SoC测试平台设计

简要介绍了一种基于事务的用于SoC系统芯片验证的RVM验证方法学,以及应用该方法学搭建的具有分层结构的测试平台,该测试平台具有良好的可重用性。为了对该方法进行示范,验证了TD-SCDMA手机芯片中的I2C模块的RTL级实现,并给出了相应的测试平台模型及其在系统级上的重用。     

系统芯片验证平台设计

使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台.验证平台的开发既浪费时间,又很难保证验证平台本身100%正确.文中提出了一种系统芯片验证平台开发方法,按该方法开发出的验证平台具有高可重用性、可扩展性、可升级性、可维护性和自动化等功能,提高了验证平台的开发效率,从而提高了验证效率.     

基于SystemVerilog可重用测试平台的实现

对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。     

手机智能卡高效可重用SoC验证平台设计

大规模系统芯片的设计必须依靠完整的验证来保证其正确性。高效、可重用的验证平台是必需的。该文采用便于调试的独特内存映射方式,将实时、多任务的VxWorks嵌入式操作系统应用于验证平台。该平台可对AMBAVIP的总线功能模型命令进行解释,实现测试用例的可重用。通过设计AHB总线到EC总线的桥接,实现验证平台对AMBA总线系统与EC总线系统的兼容。该平台在基于COS操作系统的手机智能卡芯片验证中得以应用。     

一个可重复使用的门限共享验证签名方案

该文将秘密分享方案与ELGam al数字签名方案结合起来提出一种新的门限共享验证签名方案,并对该方案进行了分析。该方案的n个验证者中任意t个可以验证签名的有效性,而少于t个验证者不能验证签名的有效性。分析表明,本文的构造方案不仅具有较好的安全性和较低的计算复杂度,而且还具有如下特点:(1)签名者的私钥可以重复使用,签名不可伪造;(2)进行多次验证签名而不会暴露验证者的秘密份额以及验证者之间不能相互伪造验证信息,从而验证者可以使用相同秘密份额对多个签名进行验证。这些特点使得方案中的签名私钥和验证秘密份额都具有可重复使用性。     

一个VLIW处理器验证平台的设计

本文主要针对VLIW结构的处理器结构特点，提出了一种基于伪随机和模块化指令流激励的面向对象的逻辑验证平台的设计方法，提高了处理器验证的覆盖率和效率。验证人员可以在平台上协同工作，开发相应的验证程序，完成指定的逻辑功能验证任务。实验结果表明该平台的建立解决了逻辑功能验证的瓶颈，该平台具有高效、灵活、易用和维护性好等特点。     

网络计算平台的软组件重用技术

组件技术的广泛使用是软件产业化发展的方向 ,它是软件可重用的一个重要方面。在中国邮政网上银行示范系统开发中 ,采用了基于组件的开发技术 ,并在系统总体需求、组件选择、组件编写中使用了UML ,Case工具及软件模式等软件工程先进方法和手段 ,增强了系统的可靠性和可维护性。     

利用VMM建立基于事务的层次化验证平台

VMM是一种基于SystemVerilog语言的验证方法学,它通过引入断言、抽象化、自动化与重用这四种机制提高了项目验证的生产率。本文通过一个实例介绍怎样利用VMM建立基于事务的可重用的层次化验证平台。     

可复用SPI模块IP核的设计与验证

SoC 是超大规模集成电路的发展趋势和新世纪集成电路的主流[1]。其复杂性以及快速完成设计、降低成本等要求,决定了系统级芯片的设计必须采用 IP(Intellectual　Property) 复用的方法。本文介绍以可复用 IP 设计方法,设计串行外设接口 SPI(Serial　Peripheral　Interface) 模块 IP 核的思路,用 Verilog 语言实现,并经 FPGA 验证,通过 TSMC(台湾集成电路制造公司)的 0.25 μm工艺生产线流水实现, 完成预期功能。     

FPGA的验证平台及有效的SoC验证方法

设计了一种基于FPGA的验证平台及有效的SoC验证方法,介绍了此FPGA验证软硬件平台及软硬件协同验证架构,讨论和分析了利用FPGA软硬件协同系统验证SoC系统的过程和方法.利用此软硬件协同验证技术方法,验证了SoC系统、DSP指令、硬件IP等.实验证明,此FPGA验证平台能够验证SoC设计,提高了设计效率.     

基于事务断言验证及SDH芯片验证平台

提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工具控制语言来控制验证中PSL断言的状态,使得基于PSL的断言验证可以事务的形式灵活地应用。采用该技术建立了同步数字体系(Synchronous Digitial Hierarchy,SDH)验证平台,验证了超过100万门交换芯片的功能,实践表明,该方法极大的提高了验证覆盖率和验证效率。