断言的first_match匹配问题

dongdongic

1） 如下代码未能实现first_match的功能，导致第一次dataout上沿通过，第二次dataout上升沿失败。
@(negedge clock) disable iff(!reset)
  (
   (!datain,local_cnt=32'h0)##1
   ((payload0==8'ha2&&lastb&&datain),local_cnt=local_cnt+1)[*0]##1 first_match($rose(dataout))|->
   ((local_cnt-72)%128==0)
  );
请问该如何正确描述它？谢谢！