// 1800-2009 mantis1769
module mantis1769 #(N=1);
if (N < 1) $error("Bad N value %d", N);
endmodule
// 1800-2009 mantis1134
module mantis1134_decoder
#(BITS = 3, localparam OUT_BITS = 1 << BITS)
(input [BITS-1:0] A, output reg [OUT_BITS-1:0] Y);
assign Y = 1 << A;
endmodule
// 1800-2009 mantis907
module mantis907_default_parameter
#(REQUIRED);
endmodule
module mantis1619_default_input (input integer deflt = 10);
endmodule
module global_anal; // Don't be anal about "global" in old code
integer global = 1;
global clocking z @(posedge clk); // But still get it right
endclocking
endmodule
module bug400;
assert property
( @(posedge clk)
disable iff (rst || $past (rst,1,,@(posedge clk)) || $isunknown(rst))
"assert 0");
endmodule
// dobbie
package pkga;
endpackage
package pkgb;
endpackage
module impbegin
import pkga::*;
import pkgb::*;
(input foobar);
endmodule