SystemVerilog回调函数

本文首发于微信公众号“芯片学堂”,作者JKZHAN

回调(callback)是一种在很多编程语言中都会使用的编程技巧。这算是一个感性的印象。关于回调函数,很多地方会用这句话来描述:“If you call me, I will call you back”。这句话说起来既形象又片面,毕竟不是简单的两者之间的关系,了解具体内容还得继续往下看。本文将进一步厘清回调函数的概念和术语,并给出SV和UVM使用回调函数的代码示例,最后例举一些在芯片验证中的使用场景。

01 概念和术语

例举一个场景,假设CC是个中国合法公民,今天CC的身份证丢了,然后到派出所去补办身份证,选择了“补办身份证”这个业务。在填信息信息表的时候,需要选择身份证制作完成之后的取送方式:要么邮寄要么本人来取。

场景类比:类比到函数调用流程来,“补办身份证”这个业务是派出所对象对外开放的API。通过这个API,CC可以触发“制作身份证”这个流程。而“信息表”就是这个流程所需要的参数,包括一系列的个人信息,以及流程最后新身份证的取送方式。如果选择邮寄,则身份证制作完成之后会调用“快递邮寄”这个新的动作流程;如果选择本人来取,则会调用“等待本人到来”这个流程。但最后不管是哪种方式,只有这个新动作流程成功返回结果,“制作身份证”这个流程才会结束。

阻塞与非阻塞: 以上的类比就是典型的阻塞式的回调,我们在使用SV时会经常用到。回调的执行可以是阻塞(blocking)和非阻塞(non-blocking)两种方式,有的地方会将它们叫做同步(synchronous)和异步(Asynchronous)。这里“阻塞”的概念跟可综合SV中的阻塞赋值的概念是类似的,阻塞都是指的等到被调用的函数或者赋值操作完成之后,主线程才能继续往下执行。而“非阻塞”都是指的互不干涉互不阻碍的意思,非阻塞回调通常用在I/O操作、异常处理或者多线程中编程中,将回调函数放到单独的线程中执行;非阻塞赋值在仿真中是将计算等号右表达式和赋值给左变量分成了两个事件,并分别放在仿真时间槽(time slot)的Active region和NBA region中执行。

回调函数概念:在上面的类比中,“制作身份证”是一个首先被执行的主函数(main function),填写信息表中取送方式一栏就是向主函数注册回调函数(register a callback function),而“邮寄”和“本人来取”其实就是被注册的回调函数(callback function),主函数在结束之前会调用回调函数,这个调用的地方叫做回调函数的hook。回调函数的接口通常是预先定义好的,比如CC总不能给主函数注册一个“由民警配送到我家”的回调函数吧。

词条定义:最后再来看看在wikipedia上的词条定义: “In computer programming, a callback is any executable code that is passed as an argument to other code; that other code is expected to call back (execute) the argument at a given time.”,翻译过来是:将一段可执行的代码A作为参数传递给另一段代码B,当B在执行时可以在需要的时刻去执行A。到这里,我们基本已经厘清了回调所涉及到的概念和术语。下面接着看看回调具体有什么用,以及在SV中应该怎么应用。

02 SV和UVM例程

SystemVerilog Callback例程:

UVM中Callback的使用:

03 应用场景

本节主要列举几个栗子,看看回调函数在芯片验证中可以用到什么场景下。

场景1:可能大多数人使用SV一开始接触到的回调函数应该就是pre_randomize()和post_randomize()。这两个函数是SV内置的回调函数,在执行randomize()函数的前后会自动执行。一般用在随机前变量的打印、随机约束的开关、随机约束权重的更改、随机后变量整形、随机数组排序等等,应用场景很多。这里可以参考公众号的上一篇文章《SystemVerilog高效仿真技巧》,其中有一个例子用了post_randomize()来加速仿真。

场景2:回调函数的典型应用可以是在VIP(Verification IP)中。VIP的使用使得验证工程师可以访问验证其设计中所需要的接口协议和存储器等。通常在VIP中,回调函数是改变其协议行为的重要手段,当然这取决于这个VIP是是怎么实现的以及开放了多少功能,特别是在第三方提供的VIP,供应商又要对其加密又希望给用户提供修改VIP行为的便利。这里举个栗子,比如AXI VIP,通过重定义回调函数可以去改变不同transaction之间的延迟、决定AW通道和W通道是否要对齐或支持写数据超前、注入故障等等功能。

场景3:在monitor上也有callback的用武之地,比如在monitor留了收集覆盖率信息的hook,或者对monitor采集到的transaction进行不同目的的检查。

场景4:除此之外,回调函数在UVM的框架中也经常会看到。除了UVM本身提供一套回调函数的注册机制(如上例程),UVM的phase机制本身也是使用回调的方式来实现的。当然在这里不会剖源码做注解啦,着实超出本文篇幅和范畴。言而总之,回调只是一种编程技巧,有什么用完全取决于程序的目的和架构。能在众多编程语言中被广泛应用,已足见其强大的功能。

参考资料
[1] IEEE Standard Association. "IEEE Standard for SystemVerilog-Unified Hardware Design, Specification, and Verification Language." (2013).[2] https://en.wikipedia.org/wiki/Callback_(computer_programming)[3] https://verificationguide.com/systemverilog/systemverilog-callback-example/

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,558评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,002评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 159,036评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,024评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,144评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,255评论 1 292
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,295评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,068评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,478评论 1 305
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,789评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,965评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,649评论 4 336
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,267评论 3 318
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,982评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,223评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,800评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,847评论 2 351

推荐阅读更多精彩内容

  • https://zhuanlan.zhihu.com/p/29642469 (1)信号的跨时钟域同步。包括单比特和...
    风中少年02阅读 1,093评论 1 1
  • 本文首发于微信公众号“芯片学堂”,作者JKZHAN 我习惯将验证空间理解为:验证中原则上需要覆盖的芯片所有有可能出...
    芯片学堂阅读 5,115评论 0 1
  • 1.数据类型 VerilogHDL中有2种变量类型:wire和reg,这两种变量是4值类型的(即有四种状态)。 S...
    一条摸水鱼阅读 14,462评论 0 3
  • 10#数据类型 合并数组和非合并数组 合并数组:存储方式是连续的,中间没有闲置空间。例如,32bit的寄存器,可以...
    constant007阅读 32,804评论 0 18
  • 原文地址: 原文来源不详. 一, 回调函数小解 我们经常在 C++ 设计时使用回调函数可以使有些应用 (如定时器时...
    Caiaolun阅读 1,645评论 0 3