Checks that there are no occurrences of always @*. Use always_comb instead. See [Style: combinational-logic].
Enabled by default: true
Checks that there are no occurrences of non-blocking assignment in combinational logic.
Enabled by default: true