-- File: ripadd.adb
-- Author: Sy Wong
-- Date: 7/98
-- Aim: specification for a ripple adder 

with HDL;
generic
  N: positive; -- total bits
package RIPADD is
  type device is
  record
    carry_in:  HDL.input;
    inline1, inline2, sum: HDL.bus(0..N-1);
    -- bit 0 is LS
    carry_out: HDL.output;
  end record;
  procedure update (d: in out device);
end RIPADD;