摘要：安波福在2020年的CES上正式推出了智能汽车架构的设计理念,两年之后的2022 CES上,安波福推出了区域控制器电源数据中心(PDC)、车辆中央控制器(CVC),使sva已经可以全面运行。从一开始,sva就被设计成一个非常易于扩展的架构,可应用于从入门级/紧凑型车型到具备自动驾驶功能的L4车型。

摘要：基于断言的验证(Assertion Based Verification,ABV),是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为SystemVerilog的重要组成部分,SystemVerilogAssertion(sva)提供了丰富的断言指令,能有效的提高验证测试工作的质量和效率。文章首先介绍了断言验证语言SystemVerilogAssertion,并针对ARM公司的AMBA总线中的AHB仲裁器模块的设计,给出了一种基于断言的验证方法,采用sva对其进行验证测试。测试仿真的结果表明,本文给出的方法的有效性和正确性。

摘要：基于断言sva的验证是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为Sys-tem Verilog的重要组成部分,sva提供了丰富的断言指令,能有效地提高验证测试工作的质量和效率。在此,首先介绍断言验证语言sva,通过与Verilog验证对比,说明sva在时序特性和因果特性验证上的优势,证明基于断言的验证是SoC设计验证的一种有效方法,能够有效地提高验证效率。

摘要：近年来,机载SoC设计复杂度的不断提升使得集成IP核的应用越来越广泛,如何高效和准确地对IP核进行功能验证成为目前航空领域的实际需求。采用sva对AFDX网络MAC IP核搭建层次化验证平台,将断言与待测设计的关键点处进行绑定,并在验证平台中插入断言对测试激励的时序性和完整性进行检查,通过覆盖率统计评估验证的完整性。测试结果表明,采用sva的验证平台可以在需要检查的功能点发生错误时更快、更清晰地定位出错误源,提高了对机载SoC中IP核功能验证的高效性和准确性。

摘要：加入sva（美国纽约视觉艺术学院）新设计评论项目的学生正准备在这个新的领域大放异彩，为设计界吸引更为广泛的观众群体。

摘要：近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PCI总线控制器核的功能验证问题,提出一种基于断言的监视器组件设计方法,将Compact PCI核接口信号时序的断言、覆盖率统计的断言封装为监视器组件,以提高验证环境的开发效率和可复用性.实际应用表明,本方法在加快验证过程收敛速度的同时,随IP核一起发布的验证组件提高了验证环境的可复用性.

摘要：介绍了一种易于实现的基于断言的验证(ABV)方法,即经过5个步骤在设计文件中插入断言,使仿真器在仿真过程中监视设计中的关键功能点.该方法在UART的寄存器传输级(RTL)模型功能验证中的应用,实验中使用sva描述设计属性.实验证明,这一方法提高了设计的可观察性,适用于数字集成电路功能验证.

摘要：论文分析了步进频率探地雷达距离旁瓣的产生机理及其影响,对传统的线性加权法抑制距离旁瓣效果进行了对比分析,包括时域加权和频域加权,理论和实验结果表明:线性加权法在抑制距离旁瓣的同时容易造成分辨率下降。因此,本文提出基于sva的步进频率探地雷达距离旁瓣抑制方法,它是一种非线性加权方法,能对时域波形主瓣和旁瓣自适应地选择加权函数,达到保留主瓣抑制旁瓣的目的。仿真结果表明,该方法可以有效地抑制步进频率探地雷达距离旁瓣,旁瓣抑制比提高20 dB,并且具有频谱外推的效果,主瓣展宽仅为5%,相同条件下,采用Hamming窗线性加权则主瓣展宽为50%。

摘要：随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大。能否对设计进行全面有效的验证,是验证人员所面临的主要问题。采用SystemVerilog语言对SRAM控制器IP核搭建验证环境,并结合sva断言技术对其实行监控,得出代码及功能覆盖率数据。通过与传统的验证方法对比分析可知,基于SystemVerilog的验证方法更加全面有效,提高了验证质量。

摘要：在介绍SystemVerilog断言的概念、使用断言的好处、断言的分类、断言的组成以及断言如何被插入到被测设计(DUT)的基础上,本文详细地介绍了如何使用不同的断言语句对信号之间的复杂时序关系进行严格的检查,并针对每个例子展示了在ModelSim6.1b仿真环境中所显示的波形。本文旨在帮助读者理解如何使用断言对设计中信号间复杂时序关系进行验证的方法,并由此介绍一些基本的SystemVerilog断言、操作符、代码段和断言验证方法学。