source: vis_dev/vis-2.3/models/counter/counter.v @ 82

/* translation of counter.smv to verilog

   Sriram Krishnan 7/93. 
   


*/ 



module counter(clk);
input clk;

wire out0, out1, out2; 

counter_cell bit0 (clk, 1, out0);
counter_cell bit1 (clk, out0, out1);
counter_cell bit2 (clk, out1, out2); 
endmodule

module counter_cell(clk, carry_in, carry_out); 
input clk; 
input carry_in; 
output carry_out; 
reg value; 

assign carry_out = value & carry_in;

initial value = 0;

always @(posedge clk) begin
// value = (value + carry_in) % 2;  
        case(value)          
                0: value = carry_in; 
                1: if (carry_in ==0) 
                        value = 1;
                else value = 0;
        endcase 
end 
endmodule