学霸笔记-接口信号强制操作之force/release

写在前边

在验证的过程中，有时我们需要对协议的某些特殊场景进行验证，这就要求一些信号要被刻意的拉高放低。比如现在有一个场景，在验证低功耗Q_channel 协议时，device中的reset信号要在规定时间拉高，以验证reset在拉高是，qreq_n拉低的场景。这样的信号是不受系统reset控制的，可以通过force release进行控制，当然这只是举了一个小例子，针对force release的应用在验证过程中是会经常遇到的，所以特别有必要熟练掌握该语法。

1. 概念

force的作用相当于给模块的接口强制赋值了一个值；

release的作用相当于把force这个强制条件给解除了。

2.示例

波形展示： 

示例中，在35ns时使用force强制将port1中的rst拉低，再过50ns release，从波形可以发现，由于代码中只针对port1进行force,所以test中的rst与top中给定的一致。

3.小结

（1）在没有force下，即release环境下，模块的接口输入的就是其对应信号；

（2）在force下，相当于系统做了一个强制赋值，被force的信号要优先被执行，只有release之后才接入模块中的对应信号。

注：优秀验证学员随堂笔记，已经征求到学生的同意，会持续给牛友们分享！

大家看完记得 一键三连！多多支持