systemverilog中的program与module
systemverilog中的调度
PLI(Programming Language Interface)
用来调用其它语言的函数的接口,比如C/C++)Active Region set
包含Active Region、Inactive Region、NBA Region,这是专门为RTL代码执行所设立的区域集合(set)Reactive Region set
包含了Reactive Region、Re-Inactive Region、Re-NBA Region,这是专门为验证平台所设计的区域集合Observed Region
专门为断言所设计的区域。
- Preponed Region:采样数据,为断言做准备。
- Observed Region:使用Preponed Region采样到的值来计算断言。
- Reactive Region:
- 所有定义在program内的阻塞赋值。
- 执行断言pass/fail代码?
- 所有定义在program内的非阻塞赋值RHS的计算,并将相应的更新事件调度至Re-NBA Region。
- 所有program内的连续赋值。
- 执行系统函数