property_expr until property_expr | property_expr s_until property_expr | property_expr until_with property_expr | property_expr s_until_with property_expr
are property expressions. Each side of the until has its own copy of the local variables.
en Cohen
Ben@systemverilog.us
Link to the list of papers and books that I wrote, many are now donated.
1 Like