PR #398 now rejects always_ff event controls whose edge operand is not a plain signal identifier, such as @(posedge (clk & enable)), instead of silently dropping the process. Implement the SystemVerilog semantics for expression-based edge events and add four-state transition tests before removing that diagnostic.
PR #398 now rejects always_ff event controls whose edge operand is not a plain signal identifier, such as
@(posedge (clk & enable)), instead of silently dropping the process. Implement the SystemVerilog semantics for expression-based edge events and add four-state transition tests before removing that diagnostic.