aag 179 2 12 1 165
2
4
6 1
8 299
10 305
12 311
14 317
16 323
18 329
20 335
22 341
24 347
26 353
28 359
114
30 9 6
32 8 6
34 31 6
36 11 6
38 10 6
40 37 6
42 13 6
44 12 6
46 43 6
48 15 6
50 14 6
52 49 6
54 17 6
56 16 6
58 55 6
60 19 6
62 18 6
64 61 6
66 21 6
68 20 6
70 67 6
72 23 6
74 22 6
76 73 6
78 25 6
80 24 6
82 79 6
84 27 6
86 26 6
88 85 6
90 29 6
92 28 6
94 91 6
96 40 34
98 96 46
100 98 52
102 100 58
104 102 64
106 104 70
108 106 76
110 108 82
112 110 88
114 112 94
116 112 93
118 116 4
120 118 3
122 121

... [truncated 2.1 kB]

ntrollable_reset;
  output err;
  reg [10:0] counter;

  assign err = (counter == 11'b11111111111) ? 1 : 0;
  
  initial
  begin
    counter = 11'b0;
  end
  always @ (posedge clk)
  begin
    if(stay)
      counter = counter;
    else if(counter == 11'b01111111111 && controllable_reset)
      counter = 0;
    else
      counter = counter + 1;
   end
endmodule
-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 8/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.020001 [SYNTCOMP2014-RealSeq]
#.