Verilator

A number of commercial tools allow constants in sensitivity lists, even though this is not permitted by the standard. Such constants are just ignored. For example:

   always @(1'b0, clk) begin
      $write("*-* All Finished *-*\n");
      $finish;
   end

It would be useful for Verilator to permit this (perhaps with a warning, since it is non-standard).