[SOLVED] Assertion is showing pass in waveform and fail in log file.

[digesh055]

Hi,
I am using questa sim.
While checking assertion, It is showing pass in the waveform, but its showing fail in log file.
Assertion logic is right and signals is also behaving right.

 

[akee_sa]

Hi,
I am using questa sim.
While checking assertion, It is showing pass in the waveform, but its showing fail in log file.
Assertion logic is right and signals is also behaving right.

please send me code

 

[digesh055]

please find a code below.
I have used some inbuilt rtl signal that I have assigned in assertion file.
e.g. =assign hzl_pix_data_0_temp =mc_test_top_m.U_mc_dut.mc_fracpel_ctrl_L0_inst.hzl_pix_data_0_temp;



property FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP;
disable iff(!nReset || sReset) @(posedge clk)
((hzl_ipol_1pix_vld_0_i )&&
((MVx_prd_ass [1:0]==1 && MVy_prd_ass[1:0]==2) ||
(MVx_prd_ass [1:0]==3 && MVy_prd_ass[1:0]==2)))
|-> hzl_pix_data_0_temp ==((({hzl_pix_data_0_i[24],hzl_pix_data_0_i})+26'd512));
endproperty : FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP
a_FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP:assert property (FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP);
c_FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP:cover property (FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP);

 

[digesh055]

Re: Assertion is showing pass in waveform and fail in log file.

please find a code below.
I have used some inbuilt rtl signal that I have assigned in assertion file.
e.g. =assign hzl_pix_data_0_temp =mc_test_top_m.U_mc_dut.mc_fracpel_ctrl_L0_inst.hz l_pix_data_0_temp;
I have declared module for assertion.



property FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP;
disable iff(!nReset || sReset) @(posedge clk)
((hzl_ipol_1pix_vld_0_i )&&
((MVx_prd_ass [1:0]==1 && MVy_prd_ass[1:0]==2) ||
(MVx_prd_ass [1:0]==3 && MVy_prd_ass[1:0]==2)))
|-> hzl_pix_data_0_temp ==((({hzl_pix_data_0_i[24],hzl_pix_data_0_i})+26'd512));
endproperty : FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP
a_FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP:assert property (FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP);
c_FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP:cover property (FT_LUMA_FRACPEL_HZL_PIX_DATA0_1_TMP);