docs/examples/puzzles/primegen.v

   1 module primegen;
   2         wire [31:0] prime = $anyconst;
   3         wire [15:0] factor = $allconst;
   4
   5         always @* begin
   6                 if (1 < factor && factor < prime)
   7                         assume((prime % factor) != 0);
   8                 assume(prime > 1000000000);
   9                 cover(1);
  10         end
  11 endmodule