数字验证学习笔记——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 线程的概念澄清

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

相关内容

热门资讯

山水皆有情!丽江两山一江的千年... 去过丽江、走过虎跳峡的人,大概率都听过哈巴雪山和金沙江的传说。很多人站在峡谷之下,望着奔腾不息的金沙...
活力中国调研行丨“殷”你而来 ... 9月12日,游客在殷墟博物馆“甲骨文展厅”内参观。位于河南省安阳市的殷墟博物馆新馆是首个全景式展现商...
浦江之夜赴美好相逢,第37届上... 9月12日晚,黄浦江畔灯火璀璨,第37届上海旅游节大巡游在外滩中山东一路上演。不少观众早早便来到外滩...
美丽中国丨秋韵紫鹊界 梯田入画... 这是9月11日拍摄的紫鹊界梯田(无人机照片)。 金秋九月,湖南省娄底市新化县紫鹊界梯田稻谷渐次成熟。...
中国之巅奏响《共同的节日》,千... 千吨阻尼器,“迎世赛、游上海旅游节”。9月13日,由上海市文化和旅游局指导推出上海旅游·会客│巅峰之...