e02.module_process.smv

MODULE counter_cell(carry_in)
  VAR 
    value: 0..1;
  ASSIGN
    init(value) := 0;
    next(value) := (carry_in+value) mod 2;
  DEFINE
    carry_out :=  value + carry_in ;

MODULE main
  VAR
    bit0 : counter_cell(1);
    bit1 : counter_cell(bit0.carry_out);
    bit2 : counter_cell(bit1.carry_out);