//
// This example was provided by Clifford Wolf
//
module foo;
        parameter X = 9;
        initial begin
                if (X % 3 != 0) begin
                        $display("Parameter X in %m must be divisible by 3! Value %d is not.", X);
                        $stop;
                end
        end
endmodule

module top;
        foo #(.X(7)) bar ();
endmodule