Subversion Repositories xmatchpro

--D  sccsid @(#)bit_arith.vhdl	1.3 daisy(C) 2/13/95 /files1/SCCS.model/bvhdl/vhdl_packages/dzx/src/s.bit_arith.vhdl
-------------------------------------------------------------------------------
--    File: Bit_Arith
-------------------------------------------------------------------------------
 
package Bit_Arith is
 
    --=============================
    -- Bit_Vector arithemetics   --
    --=============================
 
    ----------------------------
    -- Bit_Vector Basic Types --
    ----------------------------
 
    subtype nibble is Bit_Vector ( 3 downto 0 ) ;
    subtype byte   is Bit_Vector ( 7 downto 0 ) ;
    subtype word   is Bit_Vector (15 downto 0 ) ;
    subtype long   is Bit_Vector (31 downto 0 ) ;
 
    -------------------------
    -- Conversion routines --
    -------------------------
 
    function To_Integer    (v : Bit_Vector) return Integer;
    function To_BitVector (i : Integer) return Long;
    function To_BitVector (i, size : Integer) return Bit_Vector;
 
    ------------------------------
    -- Bit_Vector OP Bit_Vector --
    ------------------------------
 
    function "+" ( left , right : Bit_Vector ) return Bit_Vector ;
    function "-" ( left , right : Bit_Vector ) return Bit_Vector ;
    function "*" ( left , right : Bit_Vector ) return Bit_Vector ;
    function "/" ( left , right : Bit_Vector ) return Bit_Vector ;
 
    function "mod" ( left , right : Bit_Vector ) return Bit_Vector ;
    function "rem" ( left , right : Bit_Vector ) return Bit_Vector ;
 
 
    ---------------------------
    -- Bit_Vector OP Integer --
    ---------------------------
 
    function "+" ( left : Bit_Vector ; right : Integer ) return Bit_Vector ;
    function "-" ( left : Bit_Vector ; right : Integer ) return Bit_Vector ;
    function "*" ( left : Bit_Vector ; right : Integer ) return Bit_Vector ;
    function "/" ( left : Bit_Vector ; right : Integer ) return Bit_Vector ;
 
    function "mod" ( left : Bit_Vector ; right : Integer ) return Bit_Vector ;
    function "rem" ( left : Bit_Vector ; right : Integer ) return Bit_Vector ;
 
 
    ----------------------------
    -- Integer OP Bit_Vector  --
    ----------------------------
 
    function "+" ( left : Integer ; right : Bit_Vector ) return Bit_Vector ;
    function "-" ( left : Integer ; right : Bit_Vector ) return Bit_Vector ;
    function "*" ( left : Integer ; right : Bit_Vector ) return Bit_Vector ;
    function "/" ( left : Integer ; right : Bit_Vector ) return Bit_Vector ;
 
    function "mod" ( left : Integer ; right : Bit_Vector ) return Bit_Vector ;
    function "rem" ( left : Integer ; right : Bit_Vector ) return Bit_Vector ;
 
    -------------------------------------------------
    -- Bit_Vector Extension & Truncation functions --
    -------------------------------------------------
    function ext      ( b : Bit_Vector ; size : Integer ) return Bit_Vector ;
    function trunc    ( b : Bit_Vector ; size : Integer ) return Bit_Vector ;
 
    --==================================
    -- SIGNED & UNSIGNED arithemetics --
    --==================================
 
    ------------------
    -- Basic types: --
    ------------------
    type Unsigned is array (Natural range <>) of Bit;
    type Signed is array (Natural range <>) of Bit;
 
    subtype UNnibble is Unsigned ( 3 downto 0 ) ;
    subtype UNbyte   is Unsigned ( 7 downto 0 ) ;
    subtype UNword   is Unsigned (15 downto 0 ) ;
    subtype UNlong   is Unsigned (31 downto 0 ) ;
 
    subtype SInibble is Signed ( 3 downto 0 ) ;
    subtype SIbyte   is Signed ( 7 downto 0 ) ;
    subtype SIword   is Signed (15 downto 0 ) ;
    subtype SIlong   is Signed (31 downto 0 ) ;
 
    ---------------------------
    -- Conversion functions: --
    ---------------------------
 
    function To_Integer (u : Unsigned) return Integer;
    function To_Integer (s: Signed) return Integer;
 
    function To_BitVector (u: Unsigned; size : Integer) return Bit_Vector;
 
    function To_Unsigned (i, size : Integer) return Unsigned;
    function To_Unsigned (s: Signed; size: Integer)  return Unsigned;
    function To_Unsigned (u: Unsigned; size: Integer)  return Unsigned;
 
    function To_Signed (i, size : Integer)  return Signed;
    function To_Signed (u : Unsigned; size : Integer) return Signed;
    function To_Signed (s: Signed; size: Integer) return Signed;
 
    ----------------------------------
    -- Binary arithmetic functions: --
    ----------------------------------
 
    function "+" (L: Unsigned; R: Unsigned) return Unsigned;
    function "+" (L: Signed;   R: Signed)   return Signed;
-- ADDED following 4 lines: BHASKER:
    function "+" (L: Signed;   R: INTEGER)   return Signed;
    function "+" (L: INTEGER;   R: Signed)   return Signed;
    function "+" (L: Unsigned;   R: INTEGER)   return Unsigned;
    function "+" (L: INTEGER;   R: Unsigned)   return Unsigned;
 
    function "-" (L: Unsigned; R: Unsigned) return Unsigned;
    function "-" (L: Signed;   R: Signed)   return Signed;
-- ADDED following 4 lines: BHASKER:
    function "-" (L: Signed;   R: INTEGER)   return Signed;
    function "-" (L: INTEGER;   R: Signed)   return Signed;
    function "-" (L: Unsigned;   R: INTEGER)   return Unsigned;
    function "-" (L: INTEGER;   R: Unsigned)   return Unsigned;
 
    function "*" (L: Unsigned; R: Unsigned) return Unsigned;
    function "*" (L: Signed; R: Signed) return Signed;
 
    function "/" (L: Unsigned; R: Unsigned) return Unsigned;
    function "/" (L: Signed; R: Signed) return Signed;
 
    function "mod" (L: Unsigned; R: Unsigned) return Unsigned;
    function "mod" (L: Signed; R: Signed) return Signed;
 
    function "rem" (L: Unsigned; R: Unsigned) return Unsigned;
    function "rem" (L: Signed; R: Signed) return Signed;
 
    ---------------------------------
    -- Unary arithmetic functions: --
    ---------------------------------
 
    function "-" (L: Signed) return Signed;
    function "abs" (L: Signed) return Signed;
 
    ---------------------------
    -- Comparison functions: --
    ---------------------------
    function "<" (L: Unsigned; R: Unsigned) return Boolean;
    function "<" (L: Signed;   R: Signed)   return Boolean;
 
    function "<=" (L: Unsigned; R: Unsigned) return Boolean;
    function "<=" (L: Signed;   R: Signed)   return Boolean;
 
    function ">=" (L: Unsigned; R: Unsigned) return Boolean;
    function ">=" (L: Signed;   R: Signed)   return Boolean;
 
    function ">" (L: Unsigned; R: Unsigned) return Boolean;
    function ">" (L: Signed;   R: Signed)   return Boolean;
 
    function "=" (L: Unsigned; R: Integer)  return Boolean;
    function "=" (L: Unsigned; R: Unsigned) return Boolean;
    function "=" (L: Signed;   R: Signed)   return Boolean;
 
    function "/=" (L: Unsigned; R: Unsigned) return Boolean;
    function "/=" (L: Signed;   R: Signed)   return Boolean;
 
    ------------------------
    -- Shift   functions: --
    ------------------------
 
    function Shift_Left  (u : Unsigned; size : Natural) return Unsigned;
    function Shift_Left  (s: Signed;    size : Natural) return Signed;
    function Shift_Right (u: Unsigned;  size : Natural)  return Unsigned;
    function Shift_Right (s: Signed;    size : Natural)  return Signed;
 
    -------------------------------
    -- preset / clear procedure: --
    -------------------------------
    procedure Preset_Clear (signal FF: out Unsigned; Pc_Value: Unsigned);
    procedure Preset_Clear (signal FF: out Signed; Pc_Value: Signed);
 
  -------------------------
  -- types for MacroSyn: --
  -------------------------
 
  type Bcd_Bit_Vector is array (Natural range <>) of Bit;
  type Johnson_Bit_Vector is array (Natural range <>) of Bit;
  type Xs_3_Bit_Vector is array (Natural range <>) of Bit;
  type Xs_3_Gray_Bit_Vector is array (Natural range <>) of Bit;
 
  ----------------------------------------
  -- conversion functions for MacroSyn: --
  ----------------------------------------
  function To_Integer (opd: Bcd_Bit_Vector) return Integer;
  function To_Integer (opd: Xs_3_Bit_Vector) return Integer;
  function To_Integer (opd: Xs_3_Gray_Bit_Vector) return Integer;
  function To_Integer (opd: Johnson_Bit_Vector) return Integer;
 
 
    attribute BUILT_IN: Boolean;                           --D
    attribute BUILT_IN of EXT: function is TRUE;           --D
    attribute BUILT_IN of TRUNC: function is TRUE;         --D
    attribute BUILT_IN of Shift_Left: function is TRUE;    --D
    attribute BUILT_IN of Shift_Right: function is TRUE;   --D
    attribute BUILT_IN of Preset_Clear: procedure is TRUE; --D
 
   attribute Built_In of To_Integer   : function is TRUE;   --D
   attribute Built_In of To_BitVector : function is TRUE;   --D
   attribute Built_In of To_Unsigned  : function is TRUE;   --D
   attribute Built_In of To_Signed    : function is TRUE;   --D
 
--****** 4 NEW LINES Added: BHASKER:
  function MAX (L, R: INTEGER) return INTEGER;
  function MIN (L, R: INTEGER) return INTEGER;
 
  attribute BUILT_IN of MAX: function is TRUE;
  attribute BUILT_IN of MIN: function is TRUE;
 
end Bit_Arith;