在仿真中，我们会有对信号进行force的操作，从而实现某些特定的功能。但是在仿真波形中，不能直接从波形上看出，这些信号的驱动，是因为前级电路的驱动，还是因为force的原因的驱动。从而使debug非常的不友好。
其实在verdi中，是可以直接看到force信号的信息的。这样的话，就会方便我们去debug force的信号。
要想要verdi中，查看force信号，就需要vcs在仿真时候，生成fsdb波形时，加入force信号的波形信息。只需要在仿真参数中，加入 +fsdb+force 参数即可。当fsdb波形生成后，就可以在verdi中，直接查看到信号的force信息。
如以下代码：
module tb_top();
reg a;
reg b;
wire c;
my_and u_my_and(a, b, c);
initial begin
a = 1;
b = 0;
#10;
force u_my_and.a = 1'b1;
force u_my_and.b = 1'b1;
#10;
force u_my_and.a = 1'b0;
force u_my_and.b = 1'b0;
#10;
release u_my_and.a;
release u_my_and.b;
#10;
$finish();
end
initial begin
$fsdbDumpfile("force.fsdb");
$fsdbDumpvars(0, "tb_top");
end
endmodule: tb_top
其中my_and模块，代码如下：
module my_and( input a, input b, output c ); assign c = a & b; endmodule
编译仿真的Makefile如下：
compile: vcs -full64 -sverilog -debug_acces=all my_and.v tb_top.sv -kdb run: ./simv +fsdb+force verdi: verdi -dbdir simv.daidir -ssf force.fsdb
在仿真的时候，加上+fsdb+force选项。
打开verdi，查看信号。
从波形上，能够清晰的看到force信号的信息。用紫色虚线标识的波形，就表示这一段时间内，信号是被force驱动的。
-
向下的紫色箭头，表示这个时候，有force语句针对该信号
-
向上的紫色箭头，表示这个时候，有release语句针对该信号
通过特殊的紫色波形标记，就可以很清晰的知道信号的force信息了。
在一个环境中，可能force的信号比较多，通过上面的波形方式，去把每一个信号给拉出来，判断信号是否有force，效率就会比较低了。
此时，我们可以使用fsdbreport命令，从波形里面，把所有的信号force的信息，全部给抓出来，保存在一个文件中，这样，我们通过该文件，就可以知道仿真过程中的所有信号force信息。
命令如下：
fsdbreport xxx.fsdb -find_forces -s "/*" -level level_number -o xxx.txt
其中：
-
xxx.fsdb：是输入的fsdb波形文件
-
-s： 指定查找force信息的层次， /* 表示从最顶层开始
-
-level：表示从指定的层次，向下查找层次的数目。0表示指定的层次和以下所有的层次。1表示指定的层次，2表示指定的层次和下一层次。之后依次类推，一般都是直接使用0
-
-o：指定输出文件
针对刚刚上述产生的force.fsdb波形，来提取force信息。命令如下：
fsdbreport force.fsdb -find_forces -s "/*" -level 0 -o force.txt
生成的force.txt信息如下：
该文件中，会打印每一个force信号的信息：
-
force信号的层次路径
-
force信号在什么时刻被force，force的值是多少
-
force信号在什么时刻被release
通过查阅该文件，就可以知道波形文件中，所有的force信号的信息，从而可以帮助我们去debug。