解码国产EDA数字仿真器系列之二|如何实现全面的SystemVerilog语法覆盖?

路科验证 2023-04-17 12:02
SystemVerilog的全面支持是开发商用仿真器的第一道门槛。市面上可以找到不少基于纯Verilog的仿真器,但是真正能完整支持SystemVerilog 的仍然屈指可数。如何全面地支持SystemVerilog语言,是开发仿真器的一个重要任务。

01. 

SystemVerilog的发展历程


数字芯片的验证技术是随着Verilog语法的演变而演变的。最早,Verilog是完全用来描述(Model)硬件的,因此又叫HDL(Hardware Description Language硬件描述语言)。随着验证技术的进步,需要将很多软件的思路融进Testbench以丰富测试场景。EDA公司都曾经推出过一些针对Testbench的语言,如OpenVera等。

与Verilog的静态属性不同,这些Testbench的验证语言引入了很多动态的概念,甚至有类(class)、继承、多态等。然而最终,这些语言又逐步融进了Verilog,最终形成了今天的SystemVerilog。下图显示在SystemVerilog刚刚成为标准时,它各个模块的来源。

图片来源:SystemVerilog is changing everything - Tech Design Forum Techniques (techdesignforums.com)

基于SystemVerilog,各个EDA厂商推出了各自的仿真器,并在这个基础上,进一步开发了基于SystemVerilog的methodology library, 最后统一成今天用的通用验证方法学——UVM (Universal Verification Methodology)。
从上面的历程可以看出,SystemVerilog的发展和支持不是一步到位的,是在其他语言的基础上经过多年演变形成的。各个EDA厂商根据他们的自身优势开发了对SystemVerilog的支持。虽然这些仿真工具都符合LRM(语言参考手册)的标准,但是由于其发展路径不同,在性能上及个别语义上,仍然存在一定的差异。

02. 

SystemVerilog的语法特点


SystemVerilog为了给验证提供更多的灵活性,从其他编程语言,尤其是面向对象的编程语言(如C++, Java)借鉴了很多语法。这使得SystemVerilog语法非常复杂,各种语法耦合性强,环环相扣。

因此,这就要求在设计时,需要一个全局的概念,不能切成一个个孤立的模块,否则最终很难拼起来;即使勉强拼出来,也不牢固。这点非常像中国古建筑的“榫卯”结构。比如,SystemVerilog引入了class、structure,以及各种动态类型的数组,如 queue。这些都不能是孤立的。它们在实际使用中(比如UVM)都是嵌套使用的。一个类型的数组,很可能其元素是另一个类型。

以下通过一个uvm的例子,来更直观的了解一下SystemVerilog的语法。


一个支持SystemVerilog的仿真器,要想跑通上述case,至少需要关注以下几个方面:

1

复合类型成员的初始化

class ’my_sequence’ 中的成员 ’settings’(第12行)是一个queue类型的变量。这种类型的变量需要进行特殊的初始化,给queue分配初始空间。该queue的成员又是一个struct 类型,而struct是个复合类型,因此,这里面是一类比较复杂的嵌套类型。

2

数组的方法调用(array method)

上面例子用到了‘sort’这个方法(第25行)。这里面,又涉及到了嵌套类型,因为queue的成员是struct 类型的。而struct属于复合类型,是不能直接比较的。IEEE1800标准引入了 with (item.mebmer...),可以针对复合类型的某个成员进行排序操作。

3

垃圾回收

SystemVerilog类似Java,它不需要用户自己进行类似delete操作。这就要依赖仿真器提供垃圾回收的功能。否则在运行时会出现内存泄漏。


4

进程管理

上述例子中的task ‘main_phase’ 中用到了‘fork join‘,(第33-36行)。仿真器需要有一套进程管理来支持这个用法。进程管理实现的是否高效,将直接影响到仿真器的性能。

除此之外,还有很多技术点需要考虑,这里就不赘述了。总之,一个对SystemVerilog全面覆盖的顶层设计,对支持UVM非常关键。


03. 

SystemVerilog的scheduling semantics


当人们理解SystemVerilog时,可能会比较专注该语言增加的语法部分,但是这里要注意的是,SystemVerilog的引入仍然是为了验证硬件,而不是为了开发软件。它是为了丰富Testbench做验证的能力。SystemVerilog在丰富了语法的同时,也会带来其他的问题,这就需要制定更多的规范来定义这些新出现的状况,IEEE1800 scheduling semantics就是一个。
 
Phil Moorby 是Verilog的发明者。他写了Verilog的第一个仿真器——Verilog-XL。Verilog的仿真从诞生起,其实就存在一个问题,那就是如何确保Verilog仿真器软件的行为和硬件的行为一致,否则仿真就没有意义。为此,需要制定一些细则,来规范Verilog在scheduling 上的行为。其中,大家比较熟悉的非阻塞赋值(non-blocking assignment), 就是Phil 引入的,其目的就是确保Verilog在仿真时序逻辑时的行为和硬件一致。

2002年,Phil Moorby加入Synopsys, 从事SystemVerilog语言的定义和开发工作。笔者曾有幸和Phil共事,参与了早期SystemVerilog相关feature(如clocking block等)的开发。这些新的SystemVerilog语法的引入会对Simulator的行为带来一定的不确定性,为此,Phil对原有的Verilog scheduling semantics进行了扩展来消除这些不确定,其中包括Testbench和DUT之间能进行精准的无歧义的数据通信。这些思想,后来都被Accellera国际电子行业标准化组织采纳,变成了今天IEEE1800 scheduling semantics 的一部分。

以下是1800 scheduling的semantic,来自 IEEE1800-2017, page 64——

04. 

GalaxSim对SystemVerilog的设计思路


前面提到,SystemVerilog并非诞生起就一成不变的,而是在不断变化发展。因此,作为后来者,芯华章开发的高性能数字仿真器GalaxSim,在开发SystemVerilog时,不存在EDA巨头公司的历史包袱,可以从一开始,就把SystemVerilog当作一个整体来支持,而不是先支持老的Verilog部分,再支持新的SystemVerilog 部分。这里面包括了以下一些设计上的考虑:

 1) 更精准的SytemVerilog语义解析 
SystemVerilog经过了十几年的使用和演变,有些早期的语义可能有了新的含义。此外,很多SystemVerilog的语法是在先有了EDA工具支持后再写入标准的。我们在实现SystemVerilog支持时,会根据其背后所体现的实际验证应用背景来设计仿真行为,而不是简单地做一个语言层面的编译器。这样,我们确保了GalaxSim在SystemVerilog上的仿真行为上和国际主流仿真工具兼容。

 2)更加原生的支持 
EDA主流的仿真器在支持SystemVerilog上都走了很长的一段路,这是因为SystemVerilog本身并没有稳定下来。往往会出现的情况是,既有的仿真器的infrastructure无法满足新出现的SystemVerilog的语法。

GalaxSim不会面临这个问题,因为我们在设计其基础结构的时候,就会把SystemVerilog需要的各种data type一并考虑进去。这样的设计带来的优势就是开发更加流畅,质量更高。

 3)更加优异的性能 
性能始终是仿真器的灵魂。然而,对于SystemVerilog这种相对较新的语言,其性能往往不如纯Verilog。这是因为,它们往往是先开发feature,确保功能的完备性;直到后来在客户端遇到了性能问题,再进行性能优化甚至重构。

GalaxSim对SystemVerilog的支持,在设计之初,就根据目前的设计规模,将性能问题与功能同步设计,确保4大性能指标(Compile Time、Compile Memory、Run Time、Run Memory)比肩甚至超越国际主流仿真器。

 4)更加贴近验证的scheduling semantics 
SystemVerilog的目的是为了验证。因此,仿真器对scheduling的要求是非常严格的。有些甚至并没有非常明确地写在标准里,但是已经被业内主流EDA企业在事实上使用了。这些规范都是被数十年客户检验过,也是在实际应用中必须遵守的“戒律”。

05. 总结


SystemVerilog作为最复杂的语言之一,是国产数字仿真器开发的第一道门槛。如果LRM(语言参考手册)的覆盖率不够,就会阻碍仿真器的商用推广。但从上文的分析中不难发现,实现复杂的SystemVerilog需要巨大的工程量。如何在纷杂的SystemVerilog语法中将主流UVM所需的部分,高质高量地实现出来,是GalaxSim为代表的国产EDA数字仿真器,需要解决的首要问题。

芯华章核心研发团队曾在跨国公司成功主导过大型仿真器项目研发,对验证语言、方法学、仿真器核心构架、算法、优化有着丰富的技术储备,尤其在SystemVerilog 方面有着多年的耕耘,因此能将复杂的SystemVerilog背后的“榫卯”嵌套结构梳理清楚,进而可以在清晰的架构上,一步到位支持几乎所有SystemVerilog的语法。
  
实现对SystemVerilog语法的支持,仅仅使得仿真器可以编译用户的设计了。要想使仿真器真正发挥验证作用,还需要在SystemVerilog的基础上搭建各种应用,如Debug、SVA、Coverage等,才能最终使仿真器成为真正的仿真平台。此外,性能始终是仿真器的核心。在完成SystemVerilog支持的同时,如何结合调试(Debug),提升性能方面的功能,也是需要面对的重大课题。

接下来,我们会结合数字仿真器的其他功能与性能要求,诸如coverage、debug等方面,更进一步讲解一款高质量的数字仿真器应该具备哪些特征。独木不成林,我们也期待行业的各位有志同仁,参与我们的讨论,一起畅谈国产数字仿真器发展之路。


                                                                                ——  转自芯华章


作者:齐正华

芯华章科技研发副总裁



往期精彩:
解码国产EDA数字仿真器系列之一 | 从零到一 如何构建一款先进的数字仿真器


路科验证 专注于数字芯片验证的系统思想和前沿工程领域。路桑是Intel资深验证专家,主持验证架构规划和方法学研究,担任过亿门级通信芯片的验证经理角色。在工程领域之外,他在西安电子科技大学和西安交通大学客座讲授芯片验证课程。著有书籍《芯片验证漫游指南》。
评论
  • 光伏逆变器是一种高效的能量转换设备,它能够将光伏太阳能板(PV)产生的不稳定的直流电压转换成与市电频率同步的交流电。这种转换后的电能不仅可以回馈至商用输电网络,还能供独立电网系统使用。光伏逆变器在商业光伏储能电站和家庭独立储能系统等应用领域中得到了广泛的应用。光耦合器,以其高速信号传输、出色的共模抑制比以及单向信号传输和光电隔离的特性,在光伏逆变器中扮演着至关重要的角色。它确保了系统的安全隔离、干扰的有效隔离以及通信信号的精准传输。光耦合器的使用不仅提高了系统的稳定性和安全性,而且由于其低功耗的
    晶台光耦 2024-12-02 10:40 144浏览
  • 在电子工程领域,高速PCB设计是一项极具挑战性和重要性的工作。随着集成电路的迅猛发展,电路系统的复杂度和运行速度不断提升,对PCB设计的要求也越来越高。在这样的背景下,我有幸阅读了田学军老师所著的《高速PCB设计经验规则应用实践》一书,深感受益匪浅。以下是我从本书中学习到的新知识和经验分享,重点涵盖特殊应用电路的PCB设计、高速PCB设计经验等方面。一、高速PCB设计的基础知识回顾与深化 在阅读本书之前,我对高速PCB设计的基础知识已有一定的了解,但通过阅读,我对这些知识的认识得到了进一步的深
    金玉其中 2024-12-05 10:01 43浏览
  • 最近几年,新能源汽车愈发受到消费者的青睐,其销量也是一路走高。据中汽协公布的数据显示,2024年10月,新能源汽车产销分别完成146.3万辆和143万辆,同比分别增长48%和49.6%。而结合各家新能源车企所公布的销量数据来看,比亚迪再度夺得了销冠宝座,其10月新能源汽车销量达到了502657辆,同比增长66.53%。众所周知,比亚迪是新能源汽车领域的重要参与者,其一举一动向来为外界所关注。日前,比亚迪汽车旗下品牌方程豹汽车推出了新车方程豹豹8,该款车型一上市就迅速吸引了消费者的目光,成为SUV
    刘旷 2024-12-02 09:32 143浏览
  • 11-29学习笔记11-29学习笔记习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习笔记&记录学习习笔记&记学习学习笔记&记录学习学习笔记&记录学习习笔记&记录学习学习笔记&记录学习学习笔记记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&学习学习笔记&记录学习学习笔记&记录学习学习笔记&记
    youyeye 2024-12-02 23:58 96浏览
  • 《高速PCB设计经验规则应用实践》+PCB绘制学习与验证读书首先看目录,我感兴趣的是这一节;作者在书中列举了一条经典规则,然后进行详细分析,通过公式推导图表列举说明了传统的这一规则是受到电容加工特点影响的,在使用了MLCC陶瓷电容后这一条规则已经不再实用了。图书还列举了高速PCB设计需要的专业工具和仿真软件,当然由于篇幅所限,只是介绍了一点点设计步骤;我最感兴趣的部分还是元件布局的经验规则,在这里列举如下:在这里,演示一下,我根据书本知识进行电机驱动的布局:这也算知行合一吧。对于布局书中有一句:
    wuyu2009 2024-11-30 20:30 143浏览
  •         温度传感器的精度受哪些因素影响,要先看所用的温度传感器输出哪种信号,不同信号输出的温度传感器影响精度的因素也不同。        现在常用的温度传感器输出信号有以下几种:电阻信号、电流信号、电压信号、数字信号等。以输出电阻信号的温度传感器为例,还细分为正温度系数温度传感器和负温度系数温度传感器,常用的铂电阻PT100/1000温度传感器就是正温度系数,就是说随着温度的升高,输出的电阻值会增大。对于输出
    锦正茂科技 2024-12-03 11:50 146浏览
  • 作为优秀工程师的你,已身经百战、阅板无数!请先醒醒,新的项目来了,这是一个既要、又要、还要的产品需求,ARM核心板中一个处理器怎么能实现这么丰富的外围接口?踌躇之际,你偶阅此文。于是,“潘多拉”的魔盒打开了!没错,USB资源就是你打开新世界得钥匙,它能做哪些扩展呢?1.1  USB扩网口通用ARM处理器大多带两路网口,如果项目中有多路网路接口的需求,一般会选择在主板外部加交换机/路由器。当然,出于成本考虑,也可以将Switch芯片集成到ARM核心板或底板上,如KSZ9897、
    万象奥科 2024-12-03 10:24 99浏览
  • 概述 说明(三)探讨的是比较器一般带有滞回(Hysteresis)功能,为了解决输入信号转换速率不够的问题。前文还提到,即便使能滞回(Hysteresis)功能,还是无法解决SiPM读出测试系统需要解决的问题。本文在说明(三)的基础上,继续探讨为SiPM读出测试系统寻求合适的模拟脉冲检出方案。前四代SiPM使用的高速比较器指标缺陷 由于前端模拟信号属于典型的指数脉冲,所以下降沿转换速率(Slew Rate)过慢,导致比较器检出出现不必要的问题。尽管比较器可以使能滞回(Hysteresis)模块功
    coyoo 2024-12-03 12:20 171浏览
  • 戴上XR眼镜去“追龙”是种什么体验?2024年11月30日,由上海自然博物馆(上海科技馆分馆)与三湘印象联合出品、三湘印象旗下观印象艺术发展有限公司(下简称“观印象”)承制的《又见恐龙》XR嘉年华在上海自然博物馆重磅开幕。该体验项目将于12月1日正式对公众开放,持续至2025年3月30日。双向奔赴,恐龙IP撞上元宇宙不久前,上海市经济和信息化委员会等部门联合印发了《上海市超高清视听产业发展行动方案》,特别提到“支持博物馆、主题乐园等场所推动超高清视听技术应用,丰富线下文旅消费体验”。作为上海自然
    电子与消费 2024-11-30 22:03 109浏览
  • TOF多区传感器: ND06   ND06是一款微型多区高集成度ToF测距传感器,其支持24个区域(6 x 4)同步测距,测距范围远达5m,具有测距范围广、精度高、测距稳定等特点。适用于投影仪的无感自动对焦和梯形校正、AIoT、手势识别、智能面板和智能灯具等多种场景。                 如果用ND06进行手势识别,只需要经过三个步骤: 第一步&
    esad0 2024-12-04 11:20 110浏览
  • RDDI-DAP错误通常与调试接口相关,特别是在使用CMSIS-DAP协议进行嵌入式系统开发时。以下是一些可能的原因和解决方法: 1. 硬件连接问题:     检查调试器(如ST-Link)与目标板之间的连接是否牢固。     确保所有必要的引脚都已正确连接,没有松动或短路。 2. 电源问题:     确保目标板和调试器都有足够的电源供应。     检查电源电压是否符合目标板的规格要求。 3. 固件问题: &n
    丙丁先生 2024-12-01 17:37 114浏览
  • 当前,智能汽车产业迎来重大变局,随着人工智能、5G、大数据等新一代信息技术的迅猛发展,智能网联汽车正呈现强劲发展势头。11月26日,在2024紫光展锐全球合作伙伴大会汽车电子生态论坛上,紫光展锐与上汽海外出行联合发布搭载紫光展锐A7870的上汽海外MG量产车型,并发布A7710系列UWB数字钥匙解决方案平台,可应用于数字钥匙、活体检测、脚踢雷达、自动泊车等多种智能汽车场景。 联合发布量产车型,推动汽车智能化出海紫光展锐与上汽海外出行达成战略合作,联合发布搭载紫光展锐A7870的量产车型
    紫光展锐 2024-12-03 11:38 126浏览
  • 遇到部分串口工具不支持1500000波特率,这时候就需要进行修改,本文以触觉智能RK3562开发板修改系统波特率为115200为例,介绍瑞芯微方案主板Linux修改系统串口波特率教程。温馨提示:瑞芯微方案主板/开发板串口波特率只支持115200或1500000。修改Loader打印波特率查看对应芯片的MINIALL.ini确定要修改的bin文件#查看对应芯片的MINIALL.ini cat rkbin/RKBOOT/RK3562MINIALL.ini修改uart baudrate参数修改以下目
    Industio_触觉智能 2024-12-03 11:28 115浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦