Calling a function within assert property

SystemVerilog
,
4

In reply to MICRO_91:
Sounds right.


  always(@(posdge clk) begin 
    if($isunknown(a)) ...; // $isunknown executes in the Active region
    am_unk: assert(($isunknown(a)); 
      // I believe that $isunknown executes in the Active region.