Jump to content

qwerty

Members
  • Content Count

    29
  • Joined

  • Last visited

About qwerty

  • Rank
    Junior Member

Recent Profile Visitors

The recent visitors block is disabled and is not being shown to other users.

  1. Hi, I want to add an assertion in which i have to check Op=IP after certain delay. but the delay values comes from an array. Delay value can also be 0. The below assertion is not failing when end_sig is asserted before the delay. property var_delay; int v_cnt; ($rose(start_sig), v_cnt = var_del + 1'b1) |-> (((v_cnt > 0 && $stable(end_sig)), v_cnt = v_cnt - 1)[*0:$] ##1 ((end_sig==1) )) ; endproperty : var_delay as_var_delay : assert property (var_delay); Any help is appreciated.
×
×
  • Create New...