022天津同城交友网

标题: sva斷言log信息阐发 [打印本页]

作者: 在无忧 时间: 2020-4-7 18:46
标题: sva斷言log信息阐发
各位，一个简单同步低有效复位D触发器
模块简略代码：
input a,rst,clk
output q
always @（posedge clk）begin
   if(!rst)
      q <= 1'b0;
   else
      q <= a;
end

sva_src.sv：
sequence s1;
   rst;
endsequence
property p1;
  @(posedge clk) s1 |->
   (a, $display("P1 assert a = 1 is success\n"));
endproperty
a1: assert property(p1);

testbench.sv:
initial begin
   clk = 1'b1;
   rst = 1'b 0;
   a = 1'b0;
   #6 rst = 1'b1;
end
always #1 clk = ~clk;
always @(posedge clk)
   a = ~a;
initial begin
   #100 $stop;
end

执行以后打出如下log：
"sva_src.sv", 29: testbench.st.ss.a1:assert at 8ns fAIled at 8ns
   Offending 'a'
P1 asserty a = 1 is success
"sva_src.sv", 29: testbench.st.ss.a1:assert at 12ns failed at 8ns
   Offending 'a'
P1 asserty a = 1 is success

想问一下，从波形上看，以及打印的success信息，明明已经成功了的，红色字体的log信息中的failed的什么意思？

Best Regards！

作者: 开心青年 时间: 2020-4-7 18:46
波形呢？

欢迎光临 022天津同城交友网 (http://www.btlz.cn/)