I just want to know that whether "@ (posedge clock )" could be added in the statement
if "a" is true "e" will be assigned with "b" after the rising edge of clock comes, but if "a" or "b" or "c" changed when waiting for the rising edge of clock?
This always block is sensitive to a, b, c inputs only. So tough to capture the rising edge of clock. If the clock rise and any one of the input change happens at the same time only the execution will move from this statement. So, add clock in the sensitive list and try.