SVA在层次化验证平台中的应用

在越来越复杂的SoC芯片验证开发中,ABV（基于断言的验证）已经成为一种先进且有效的验证方法。SVA（System Verilog断言）是一种基于描述性的验证语言,它作为System Verilog语言的一个子集已成为IEEEl800标准。本文以AMBAAPB总线上的IIC总线控制器为例,简要介绍了利用VMM验证方法学来快速搭建以覆盖率为指导、约束随机化、可重用的分层验证平台。在此基础上详细阐述了在DUT的外部接口上绑定SVA断言检查器,从而在黑盒的条件下完成高效的功能验证。     

基于RVM的功能验证环境

本文简要介绍覆盖率驱动技术与RVM(reference verification mothod)验证方法学,并根据此种方法论结台覆盖率驱动技术设计IIC验证平台,给出测试结果以及覆盖率分析,此验证平台具有良好的可维护性、可重用性,比传统验证方法更有效率,降低设计风陵,加快SOC设计过程.     

一种基于IIC总线的计算机接口板的设计

文章介绍了一种基于IIC总线的计算机接口板的硬件和软件的设计和实现。该接口板使用方便 ,接口功能齐全 ,配置灵活 ,性能可靠 ,具有实用价值。     

覆盖率技术的提高在RVM层次化验证方法中的应用

本文首先介绍了传统验证方法的弊端,描述了RVM验证平台的层次化结构及它的可重用性原理,主要目的是强调在现有的验证平台上为了模块得到完备性验证必须提高它的覆盖率.本文使用的方法是在基于RVM的验证平台上通过验证工程师充分理解协议之后增加测试例的构造来实现覆盖率技术的提高.然后以UART(通用异步收发信机)为实例具体说明如何提高覆盖率,最后得出结论通过这种方法可以使功能覆盖率和代码覆盖率都达到100%,提高了验证的完备性.     

基于ARM-Linux的IIC串行通信

随着计算机技术的不断发展,以ARM芯片为处理器的产品越来越多。外围芯片与ARM通信方式也多种多样,飞利浦公司推出IIC总线就是其中的一种。本文以AT24C02为例纤细介绍了IIC总线的通信方式,并着重介绍了基于ARM-Linux的IIC总线设备的驱动编写。     

存储卡接口的RVM验证平台

外接存储卡是手机越来越普及的一项功能,因此,在手机芯片中集成一个或多个存储卡接口娈得十分必要.本文将首先介绍RVM验证方法学的特点、层次化结构;然后介绍如何利用RVM验证方法学搭建存储卡接口的验证平台,对芯片的存储卡接口进行模块级和系统级的验证.     

遗传算法在层次化验证平台中的应用

在当前SOC验证领域中,如何提高验证平台的可靠性和效率是一个迫切需要解决的问题。传统的向量产生方法存在着效率低、覆盖率不高等缺陷。本文介绍了一种基于遗传算法的随机向量产生器。它结合覆盖率驱动技术,能够自动搜索适合于待测模块的测试激励。与传统的向量生成方法相比,基于遗传算法的产生器极大地提高了验证效率,并且减轻了验证工程师的工作,缩短了芯片上市的时间。     

通道在层次化验证平台中的应用

本文首先引入了通道的概念;接着介绍了层次化验证平台的结构,并说明了RVM验证方法学中Channel类的函数及其用法.最后,我们在USB测试平台上给出了一个用通道连接处理器和驱动器的实铡.     

TVP5146与DM6446的接口设计

TVP5146一款性能优良的A/D芯片,能高效解决绝大多数视频和图像信号的模数转换。本文介绍了TVP5146与DM6446的通信接口设计,为数字视频前端处理提供了很好的支持。详细阐述了该设计的TVP5146芯片、硬件连接、TVP5146的配置和读写流程。     

Matlab定点仿真在FPGA验证平台中的应用

无论在雷达系统还是在通信系统当中,对其各种信号处理方法进行仿真时,数据是以浮点形式参与运算,当把算法移植到硬件中实现时,数据是以固定长度的二进制形式参与运算。文中介绍如何利用Matlab定点工具箱实现数据的浮点到定点转换,并结合设计实例,阐明了定点仿真在FPGA验证平台中的应用。实践证明,进行定点仿真是FPGA实现的前提,同时还可以验证FPGA中运算结果的正确性。     

利用RVM搭建SOC芯片的高效验证平台

本文介绍了用于SOC功能验证的RVM验证方法学,描述RVM验证平台的层次化结构,介绍了RVM的随机测试和基于覆盖率驱动技术的验证策略.文中以一个UART模块为例,详细说明了RVM验证平台在SOC功能验证中的应用;并对验证平台的重用性进行了阐述.     

利用RVM搭建可重用SOC验证平台

介绍了当前SOC验证领域的可重用性策略和RVM层次化验证平台的结构;以USB为例,给出了利用RVM搭建模块级验证平台的方法;阐述了如何使RVM验证平台重用于不同的IP核之间,以及如何把模块级验证平台重用到系统级验证平台上。     

RVM层次化验证方法研究及其应用

首先介绍了RVM层次化验证方法学的基本思想和方法,将其与传统的芯片验证技术进行了对比,并进一步对基于RVM方法学的验证平台结构和各个组成模块进行了详细的介绍。最后以IIC模块为例对RVM验证平台的搭建进行了具体说明,并给出了仿真波形。     

基于RVM的SOC验证方法与技术

本文介绍了SOC的层次化验证方法,SOC层次化验证平台的一般结构.重点介绍了RVM验证方法学.详细描述了利用RVM搭建验证平台的屡次化结构,"以及RVM覆盖率驱动技术,和Synopsys公司提供的RVM基类."     

SoC基于可重用性的RVM层次化验证方法及应用

本文主要运用了可重用性和层次化的验证方法来建立模块化的高质量验证平台.通过将IP单元验证平台的模块部分甚至全部重用到SoC系统验证平台中,有效减少了构造验证平台的时间;通过层次化的验证方法的应用,有效提高了验证环境的执行效率;并以一个基于PWT架构的SoC系统为例从模块级,系统级两个方面应用了这种方法进行验证.     

基于事务的RVM随机向量产生器在SOC验证中的应用

在搭建层次化验证平台时,产生器是一个重要的模块,它能否根据需要产生随机向量直接关系到测试平台的可靠性.传统的激励产生方法由于是用人工生成的,效率低且性能也不令人满意,已经不能满足当前大规模芯片验证的需求.介绍了一种基于事务的随机向量产生器,它把基于事务的验证策略和随机向量产生器结合起来,通过产生受限的随机数据,提高了激励的覆盖率.与传统的向量产生方法相比,基于事务的随机向量产生器能够使验证平台更可靠,同时减轻了验证工程师的工作,加快了芯片上市的时间.     

基于受限随机矢量生成的功能验证

在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在：①复杂验证场景难以构建。②边缘情况难以覆盖。基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量．有效解决了传统验证方法面临的挑战。本文以一款SOC的存储子系统控制模块为例,研究了在Specman验证平台上,使用E语言构建验证环境的基于受限随机矢量生成的功能验证在SOC设计中的应用。验证结果表明,复杂验证场景和边缘情况的覆盖率均达到100％。经过多目标圆片(MPW)流片试验和测试,采用该方法验证的模块达到设计要求。     

RVM随机验证中的三个关键点及其应用

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