数字验证学习笔记——SystemVerilog芯片验证18 ——线程的使用
admin
2024-05-04 01:49:09

一、线程的使用

1.1 程序和模块

  • module作为SV从Verilog继承过来的概念,自然地保持了它的特点,除了作为RTL模型的外壳包装和实现硬件行为,在更高层的集成层面,模块之间也需要通信和同步。
  • 对于硬件的过程块,它们之间的通信可理解为不同逻辑/时序块之间的通信或者同步,是通过信号的变化来完成的。
  • 从硬件实现的角度来看,Verilog 通过always、initial过程语句块和信号数据连接实现进程间通信。
  • 我们可以将不同的module 作为独立的程序块,他们之间的同步通过信号的变化(event 触发)、等待特定事件(时钟周期)或者时间(固定延时)来完成。
  • 如果按照软件的思维理解硬件仿真,仿真中的各个模块首先是独立运行的线程(thread)
  • 模块(线程)在仿真一开始便并行执行,除了每个线程会依照自身内部的事件来触发过程语句块之外,也同时依靠相邻模块间的信号变化来完成模块之间的线程同步

问题1?
always线程不会结束。 对
initial 线程一定会结束。 不对,比如用initial产生时钟。

1.2 什么是线程

  • 线程即独立运行的程序。
  • 线程需要被触发,可以结束或者不结束
  • 在module中的initial和always,都可以看做独立的线程,它们会在仿真0时刻开始,而选择结束或者不结束。
  • 硬件模型中由于都是always语句块,所以可以看成是多个独立运行的线程,而这些线程会一直占用仿真资源,因为它们并不会结束。
  • 软件测试平台中的验证环境需要由initial语句块去创建,而在仿真过程中,验证环境中的对象可以创建和销毁,因此软件测试端的资源占用是动态的。

问题2,如果需要降低仿真时的内存负载,那么下面哪些措施是合理的?
降低模块之间的信号跳变频率
只在必要的时候创建软件对象。
在不需要时钟的时候关闭时钟。
在数据带宽需求低的时候降低时钟频率。

  • 软件环境中的initial块语句有两种分组方式,使用begin…end 或 fork … join
  • begin … end 中的语句以顺序方式执行,而 fork … join中的语句则以并发方式执行。
  • 与fork … join 类似的并行方式语句还包括 fork … join_any, fork … join_none 。

1.3 线程的概念澄清

  • 线程的执行轨迹是呈树状结构的,即任何的线程都应该有父线程
  • 父线程可以开辟若干个子线程,父线程可以暂停或者终止子线程。
  • 当子线程终止时,父线程可以继续执行。
  • 当父线程终止时,其所开辟的所有子线程都应当会终止。

相关内容

热门资讯

中国六大天花板羊肉汤!各地招牌... 在中国美食版图里,一碗热气腾腾的羊肉汤,是跨越南北的冬日治愈美味。它不止是抚慰味蕾的烟火佳肴,更是扎...
茗聚泉城创新出圈 莒南茶企新品... 茶香汇泉城,创新焕新韵。5月29日,第二十届中国(济南)国际茶产业博览会暨第十四届茶文化节在济南茶叶...
荔枝泡酒怎么泡?内行人教你一步... 荔枝泡酒,作为一种既能满足味蕾又兼具仪式感的果酒制作方式,近年来备受关注。尤其是夏季荔枝大量上市,用...
原创 夏... 步入炎炎夏日,气温一天比一天高,很多长辈朋友都会出现吃不下饭、饭菜没滋味的情况。闷热天气里,油腻的大...