esp bug 9


innologic doesn't support symbolic seeds

While this is entirely reasonable, the tool should at least provide an error message.

For example, the following module should formally (and rather cleverly ;) find that a seed of 42 will randomly generate 0x802c4400:


--------------------------------------------------
module top;
reg     [31:0]  seed;
reg     [31:0]  r;

initial begin
        $esp_var(seed);
        $write("SEED = %d\n",seed);
        r = $random(seed);
        $write("Generates %h\n",r);
        if (r==='h802c4400) $esp_error("Found seed [42] that gens 0x802c4400");
end

endmodule
--------------------------------------------------