Self clearing logic with SystemVerilog

In reply to nijo:

Please explain to us what “working” and “not working” is supposed to mean. It would really help to see the declarations of everything in your example.

Did you mean to declare type_u as a packed union.