diff options
author | Tristan Gingold <tgingold@free.fr> | 2014-01-04 11:25:55 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2014-01-04 11:25:55 +0100 |
commit | 8c778be42999972dcda1aac95999e0eb1a5e3e9c (patch) | |
tree | c69189bc93c0bd562d6e6814aafb1dfc1fab2f32 /libraries/ieee2008/numeric_bit-body.vhdl | |
parent | 071b3291e88f05bc06d91fe4ebe88582292d3f0d (diff) | |
download | ghdl-8c778be42999972dcda1aac95999e0eb1a5e3e9c.tar.gz ghdl-8c778be42999972dcda1aac95999e0eb1a5e3e9c.tar.bz2 ghdl-8c778be42999972dcda1aac95999e0eb1a5e3e9c.zip |
Add ieee 2008 packages.
Diffstat (limited to 'libraries/ieee2008/numeric_bit-body.vhdl')
-rw-r--r-- | libraries/ieee2008/numeric_bit-body.vhdl | 3042 |
1 files changed, 3042 insertions, 0 deletions
diff --git a/libraries/ieee2008/numeric_bit-body.vhdl b/libraries/ieee2008/numeric_bit-body.vhdl new file mode 100644 index 000000000..f3e17b055 --- /dev/null +++ b/libraries/ieee2008/numeric_bit-body.vhdl @@ -0,0 +1,3042 @@ +-- -------------------------------------------------------------------- +-- +-- Copyright © 2008 by IEEE. All rights reserved. +-- +-- This source file is an essential part of IEEE Std 1076-2008, +-- IEEE Standard VHDL Language Reference Manual. This source file may not be +-- copied, sold, or included with software that is sold without written +-- permission from the IEEE Standards Department. This source file may be +-- copied for individual use between licensed users. This source file is +-- provided on an AS IS basis. The IEEE disclaims ANY WARRANTY EXPRESS OR +-- IMPLIED INCLUDING ANY WARRANTY OF MERCHANTABILITY AND FITNESS FOR USE +-- FOR A PARTICULAR PURPOSE. The user of the source file shall indemnify +-- and hold IEEE harmless from any damages or liability arising out of the +-- use thereof. +-- +-- Title : Standard VHDL Synthesis Packages +-- : (NUMERIC_BIT package body) +-- : +-- Library : This package shall be compiled into a library +-- : symbolically named IEEE. +-- : +-- Developers: IEEE DASC Synthesis Working Group, +-- : Accellera VHDL-TC, and IEEE P1076 Working Group +-- : +-- Purpose : This package defines numeric types and arithmetic functions +-- : for use with synthesis tools. Two numeric types are defined: +-- : -- > UNSIGNED: represents an UNSIGNED number in vector form +-- : -- > SIGNED: represents a SIGNED number in vector form +-- : The base element type is type BIT. +-- : The leftmost bit is treated as the most significant bit. +-- : Signed vectors are represented in two's complement form. +-- : This package contains overloaded arithmetic operators on +-- : the SIGNED and UNSIGNED types. The package also contains +-- : useful type conversions functions, clock detection +-- : functions, and other utility functions. +-- : +-- : If any argument to a function is a null array, a null array +-- : is returned (exceptions, if any, are noted individually). +-- +-- Note : This package may be modified to include additional data +-- : required by tools, but it must in no way change the +-- : external interfaces or simulation behavior of the +-- : description. It is permissible to add comments and/or +-- : attributes to the package declarations, but not to change +-- : or delete any original lines of the package declaration. +-- : The package body may be changed only in accordance with +-- : the terms of Clause 16 of this standard. +-- : +-- -------------------------------------------------------------------- +-- $Revision: 1220 $ +-- $Date: 2008-04-10 17:16:09 +0930 (Thu, 10 Apr 2008) $ +-- -------------------------------------------------------------------- + +package body NUMERIC_BIT is + + -- null range array constants + + constant NAU : UNSIGNED(0 downto 1) := (others => '0'); + constant NAS : SIGNED(0 downto 1) := (others => '0'); + + -- implementation controls + + constant NO_WARNING : BOOLEAN := false; -- default to emit warnings + + -- =========================Local Subprograms ================================= + + function SIGNED_NUM_BITS (ARG : INTEGER) return NATURAL is + variable NBITS : NATURAL; + variable N : NATURAL; + begin + if ARG >= 0 then + N := ARG; + else + N := -(ARG+1); + end if; + NBITS := 1; + while N > 0 loop + NBITS := NBITS+1; + N := N / 2; + end loop; + return NBITS; + end function SIGNED_NUM_BITS; + + function UNSIGNED_NUM_BITS (ARG : NATURAL) return NATURAL is + variable NBITS : NATURAL; + variable N : NATURAL; + begin + N := ARG; + NBITS := 1; + while N > 1 loop + NBITS := NBITS+1; + N := N / 2; + end loop; + return NBITS; + end function UNSIGNED_NUM_BITS; + + ------------------------------------------------------------------------------ + -- this internal function computes the addition of two UNSIGNED + -- with input carry + -- * the two arguments are of the same length + + function ADD_UNSIGNED (L, R : UNSIGNED; C : BIT) return UNSIGNED is + constant L_LEFT : INTEGER := L'length-1; + alias XL : UNSIGNED(L_LEFT downto 0) is L; + alias XR : UNSIGNED(L_LEFT downto 0) is R; + variable RESULT : UNSIGNED(L_LEFT downto 0); + variable CBIT : BIT := C; + begin + for I in 0 to L_LEFT loop + RESULT(I) := CBIT xor XL(I) xor XR(I); + CBIT := (CBIT and XL(I)) or (CBIT and XR(I)) or (XL(I) and XR(I)); + end loop; + return RESULT; + end function ADD_UNSIGNED; + + -- this internal function computes the addition of two SIGNED + -- with input carry + -- * the two arguments are of the same length + + function ADD_SIGNED (L, R : SIGNED; C : BIT) return SIGNED is + constant L_LEFT : INTEGER := L'length-1; + alias XL : SIGNED(L_LEFT downto 0) is L; + alias XR : SIGNED(L_LEFT downto 0) is R; + variable RESULT : SIGNED(L_LEFT downto 0); + variable CBIT : BIT := C; + begin + for I in 0 to L_LEFT loop + RESULT(I) := CBIT xor XL(I) xor XR(I); + CBIT := (CBIT and XL(I)) or (CBIT and XR(I)) or (XL(I) and XR(I)); + end loop; + return RESULT; + end function ADD_SIGNED; + + ------------------------------------------------------------------------------ + + -- this internal procedure computes UNSIGNED division + -- giving the quotient and remainder. + procedure DIVMOD (NUM, XDENOM : UNSIGNED; XQUOT, XREMAIN : out UNSIGNED) is + variable TEMP : UNSIGNED(NUM'length downto 0); + variable QUOT : UNSIGNED(MAXIMUM(NUM'length, XDENOM'length)-1 downto 0); + alias DENOM : UNSIGNED(XDENOM'length-1 downto 0) is XDENOM; + variable TOPBIT : INTEGER; + begin + TEMP := "0"&NUM; + QUOT := (others => '0'); + TOPBIT := -1; + for J in DENOM'range loop + if DENOM(J) = '1' then + TOPBIT := J; + exit; + end if; + end loop; + assert TOPBIT >= 0 report "NUMERIC_BIT.DIVMOD: DIV, MOD, or REM by zero" + severity error; + + for J in NUM'length-(TOPBIT+1) downto 0 loop + if TEMP(TOPBIT+J+1 downto J) >= "0"&DENOM(TOPBIT downto 0) then + TEMP(TOPBIT+J+1 downto J) := (TEMP(TOPBIT+J+1 downto J)) + -("0"&DENOM(TOPBIT downto 0)); + QUOT(J) := '1'; + end if; + assert TEMP(TOPBIT+J+1) = '0' + report "NUMERIC_BIT.DIVMOD: internal error in the division algorithm" + severity error; + end loop; + XQUOT := RESIZE(QUOT, XQUOT'length); + XREMAIN := RESIZE(TEMP, XREMAIN'length); + end procedure DIVMOD; + + -----------------Local Subprograms - shift/rotate ops------------------------- + + function XSLL (ARG : BIT_VECTOR; COUNT : NATURAL) return BIT_VECTOR is + constant ARG_L : INTEGER := ARG'length-1; + alias XARG : BIT_VECTOR(ARG_L downto 0) is ARG; + variable RESULT : BIT_VECTOR(ARG_L downto 0) := (others => '0'); + begin + if COUNT <= ARG_L then + RESULT(ARG_L downto COUNT) := XARG(ARG_L-COUNT downto 0); + end if; + return RESULT; + end function XSLL; + + function XSRL (ARG : BIT_VECTOR; COUNT : NATURAL) return BIT_VECTOR is + constant ARG_L : INTEGER := ARG'length-1; + alias XARG : BIT_VECTOR(ARG_L downto 0) is ARG; + variable RESULT : BIT_VECTOR(ARG_L downto 0) := (others => '0'); + begin + if COUNT <= ARG_L then + RESULT(ARG_L-COUNT downto 0) := XARG(ARG_L downto COUNT); + end if; + return RESULT; + end function XSRL; + + function XSRA (ARG : BIT_VECTOR; COUNT : NATURAL) return BIT_VECTOR is + constant ARG_L : INTEGER := ARG'length-1; + alias XARG : BIT_VECTOR(ARG_L downto 0) is ARG; + variable RESULT : BIT_VECTOR(ARG_L downto 0); + variable XCOUNT : NATURAL := COUNT; + begin + if ((ARG'length <= 1) or (XCOUNT = 0)) then return ARG; + else + if (XCOUNT > ARG_L) then XCOUNT := ARG_L; + end if; + RESULT(ARG_L-XCOUNT downto 0) := XARG(ARG_L downto XCOUNT); + RESULT(ARG_L downto (ARG_L - XCOUNT + 1)) := (others => XARG(ARG_L)); + end if; + return RESULT; + end function XSRA; + + function XROL (ARG : BIT_VECTOR; COUNT : NATURAL) return BIT_VECTOR is + constant ARG_L : INTEGER := ARG'length-1; + alias XARG : BIT_VECTOR(ARG_L downto 0) is ARG; + variable RESULT : BIT_VECTOR(ARG_L downto 0) := XARG; + variable COUNTM : INTEGER; + begin + COUNTM := COUNT mod (ARG_L + 1); + if COUNTM /= 0 then + RESULT(ARG_L downto COUNTM) := XARG(ARG_L-COUNTM downto 0); + RESULT(COUNTM-1 downto 0) := XARG(ARG_L downto ARG_L-COUNTM+1); + end if; + return RESULT; + end function XROL; + + function XROR (ARG : BIT_VECTOR; COUNT : NATURAL) return BIT_VECTOR is + constant ARG_L : INTEGER := ARG'length-1; + alias XARG : BIT_VECTOR(ARG_L downto 0) is ARG; + variable RESULT : BIT_VECTOR(ARG_L downto 0) := XARG; + variable COUNTM : INTEGER; + begin + COUNTM := COUNT mod (ARG_L + 1); + if COUNTM /= 0 then + RESULT(ARG_L-COUNTM downto 0) := XARG(ARG_L downto COUNTM); + RESULT(ARG_L downto ARG_L-COUNTM+1) := XARG(COUNTM-1 downto 0); + end if; + return RESULT; + end function XROR; + + ---------------- Local Subprograms - Relational Operators -------------------- + + -- + -- General "=" for UNSIGNED vectors, same length + -- + function UNSIGNED_EQUAL (L, R : UNSIGNED) return BOOLEAN is + begin + return BIT_VECTOR(L) = BIT_VECTOR(R); + end function UNSIGNED_EQUAL; + + -- + -- General "=" for SIGNED vectors, same length + -- + function SIGNED_EQUAL (L, R : SIGNED) return BOOLEAN is + begin + return BIT_VECTOR(L) = BIT_VECTOR(R); + end function SIGNED_EQUAL; + + -- + -- General "<" for UNSIGNED vectors, same length + -- + function UNSIGNED_LESS (L, R : UNSIGNED) return BOOLEAN is + begin + return BIT_VECTOR(L) < BIT_VECTOR(R); + end function UNSIGNED_LESS; + + -- + -- General "<" function for SIGNED vectors, same length + -- + function SIGNED_LESS (L, R : SIGNED) return BOOLEAN is + -- Need aliases to assure index direction + variable INTERN_L : SIGNED(0 to L'length-1); + variable INTERN_R : SIGNED(0 to R'length-1); + begin + INTERN_L := L; + INTERN_R := R; + INTERN_L(0) := not INTERN_L(0); + INTERN_R(0) := not INTERN_R(0); + return BIT_VECTOR(INTERN_L) < BIT_VECTOR(INTERN_R); + end function SIGNED_LESS; + + -- + -- General "<=" function for UNSIGNED vectors, same length + -- + function UNSIGNED_LESS_OR_EQUAL (L, R : UNSIGNED) return BOOLEAN is + begin + return BIT_VECTOR(L) <= BIT_VECTOR(R); + end function UNSIGNED_LESS_OR_EQUAL; + + -- + -- General "<=" function for SIGNED vectors, same length + -- + function SIGNED_LESS_OR_EQUAL (L, R : SIGNED) return BOOLEAN is + -- Need aliases to assure index direction + variable INTERN_L : SIGNED(0 to L'length-1); + variable INTERN_R : SIGNED(0 to R'length-1); + begin + INTERN_L := L; + INTERN_R := R; + INTERN_L(0) := not INTERN_L(0); + INTERN_R(0) := not INTERN_R(0); + return BIT_VECTOR(INTERN_L) <= BIT_VECTOR(INTERN_R); + end function SIGNED_LESS_OR_EQUAL; + + -- ====================== Exported Functions ================================== + + -- Id: A.1 + function "abs" (ARG : SIGNED) return SIGNED is + constant ARG_LEFT : INTEGER := ARG'length-1; + variable RESULT : SIGNED(ARG_LEFT downto 0); + begin + if ARG'length < 1 then return NAS; + end if; + RESULT := ARG; + if RESULT(RESULT'left) = '1' then + RESULT := -RESULT; + end if; + return RESULT; + end function "abs"; + + -- Id: A.2 + function "-" (ARG : SIGNED) return SIGNED is + constant ARG_LEFT : INTEGER := ARG'length-1; + alias XARG : SIGNED(ARG_LEFT downto 0) is ARG; + variable RESULT : SIGNED(ARG_LEFT downto 0); + variable CBIT : BIT := '1'; + begin + if ARG'length < 1 then return NAS; + end if; + for I in 0 to RESULT'left loop + RESULT(I) := not(XARG(I)) xor CBIT; + CBIT := CBIT and not(XARG(I)); + end loop; + return RESULT; + end function "-"; + + -- ============================================================================ + + -- Id: A.3 + function "+" (L, R : UNSIGNED) return UNSIGNED is + constant L_LEFT : INTEGER := L'length-1; + constant R_LEFT : INTEGER := R'length-1; + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + return ADD_UNSIGNED(RESIZE(L, SIZE), RESIZE(R, SIZE), '0'); + end function "+"; + + -- Id: A.3R + function "+" (L : UNSIGNED; R : BIT) return UNSIGNED is + variable XR : UNSIGNED(L'length-1 downto 0) := (others => '0'); + begin + XR(0) := R; + return (L + XR); + end function "+"; + + -- Id: A.3L + function "+" (L : BIT; R : UNSIGNED) return UNSIGNED is + variable XL : UNSIGNED(R'length-1 downto 0) := (others => '0'); + begin + XL(0) := L; + return (XL + R); + end function "+"; + + -- Id: A.4 + function "+" (L, R : SIGNED) return SIGNED is + constant L_LEFT : INTEGER := L'length-1; + constant R_LEFT : INTEGER := R'length-1; + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAS; + end if; + return ADD_SIGNED(RESIZE(L, SIZE), RESIZE(R, SIZE), '0'); + end function "+"; + + -- Id: A.4R + function "+" (L : SIGNED; R : BIT) return SIGNED is + variable XR : SIGNED(L'length-1 downto 0) := (others => '0'); + begin + XR(0) := R; + return (L + XR); + end function "+"; + + -- Id: A.4L + function "+" (L : BIT; R : SIGNED) return SIGNED is + variable XL : SIGNED(R'length-1 downto 0) := (others => '0'); + begin + XL(0) := L; + return (XL + R); + end function "+"; + + -- Id: A.5 + function "+" (L : UNSIGNED; R : NATURAL) return UNSIGNED is + begin + return L + TO_UNSIGNED(R, L'length); + end function "+"; + + -- Id: A.6 + function "+" (L : NATURAL; R : UNSIGNED) return UNSIGNED is + begin + return TO_UNSIGNED(L, R'length) + R; + end function "+"; + + -- Id: A.7 + function "+" (L : SIGNED; R : INTEGER) return SIGNED is + begin + return L + TO_SIGNED(R, L'length); + end function "+"; + + -- Id: A.8 + function "+" (L : INTEGER; R : SIGNED) return SIGNED is + begin + return TO_SIGNED(L, R'length) + R; + end function "+"; + + -- ============================================================================ + + -- Id: A.9 + function "-" (L, R : UNSIGNED) return UNSIGNED is + constant L_LEFT : INTEGER := L'length-1; + constant R_LEFT : INTEGER := R'length-1; + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + return ADD_UNSIGNED(RESIZE(L, SIZE), + not(RESIZE(R, SIZE)), + '1'); + end function "-"; + + -- Id: A.9R + function "-" (L : UNSIGNED; R : BIT) return UNSIGNED is + variable XR : UNSIGNED(L'length-1 downto 0) := (others => '0'); + begin + XR(0) := R; + return (L - XR); + end function "-"; + + -- Id: A.9L + function "-" (L : BIT; R : UNSIGNED) return UNSIGNED is + variable XL : UNSIGNED(R'length-1 downto 0) := (others => '0'); + begin + XL(0) := L; + return (XL - R); + end function "-"; + + -- Id: A.10 + function "-" (L, R : SIGNED) return SIGNED is + constant L_LEFT : INTEGER := L'length-1; + constant R_LEFT : INTEGER := R'length-1; + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAS; + end if; + return ADD_SIGNED(RESIZE(L, SIZE), + not(RESIZE(R, SIZE)), + '1'); + end function "-"; + + -- Id: A.10R + function "-" (L : SIGNED; R : BIT) return SIGNED is + variable XR : SIGNED(L'length-1 downto 0) := (others => '0'); + begin + XR(0) := R; + return (L - XR); + end function "-"; + + -- Id: A.10L + function "-" (L : BIT; R : SIGNED) return SIGNED is + variable XL : SIGNED(R'length-1 downto 0) := (others => '0'); + begin + XL(0) := L; + return (XL - R); + end function "-"; + + -- Id: A.11 + function "-" (L : UNSIGNED; R : NATURAL) return UNSIGNED is + begin + return L - TO_UNSIGNED(R, L'length); + end function "-"; + + -- Id: A.12 + function "-" (L : NATURAL; R : UNSIGNED) return UNSIGNED is + begin + return TO_UNSIGNED(L, R'length) - R; + end function "-"; + + -- Id: A.13 + function "-" (L : SIGNED; R : INTEGER) return SIGNED is + begin + return L - TO_SIGNED(R, L'length); + end function "-"; + + -- Id: A.14 + function "-" (L : INTEGER; R : SIGNED) return SIGNED is + begin + return TO_SIGNED(L, R'length) - R; + end function "-"; + + -- ============================================================================ + + -- Id: A.15 + function "*" (L, R : UNSIGNED) return UNSIGNED is + constant L_LEFT : INTEGER := L'length-1; + constant R_LEFT : INTEGER := R'length-1; + alias XL : UNSIGNED(L_LEFT downto 0) is L; + alias XR : UNSIGNED(R_LEFT downto 0) is R; + variable RESULT : UNSIGNED((L'length+R'length-1) downto 0) := (others => '0'); + variable ADVAL : UNSIGNED((L'length+R'length-1) downto 0); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + ADVAL := RESIZE(XR, RESULT'length); + for I in 0 to L_LEFT loop + if XL(I) = '1' then RESULT := RESULT + ADVAL; + end if; + ADVAL := SHIFT_LEFT(ADVAL, 1); + end loop; + return RESULT; + end function "*"; + + -- Id: A.16 + function "*" (L, R : SIGNED) return SIGNED is + constant L_LEFT : INTEGER := L'length-1; + constant R_LEFT : INTEGER := R'length-1; + variable XL : SIGNED(L_LEFT downto 0); + variable XR : SIGNED(R_LEFT downto 0); + variable RESULT : SIGNED((L_LEFT+R_LEFT+1) downto 0) := (others => '0'); + variable ADVAL : SIGNED((L_LEFT+R_LEFT+1) downto 0); + begin + if ((L_LEFT < 0) or (R_LEFT < 0)) then return NAS; + end if; + XL := L; + XR := R; + ADVAL := RESIZE(XR, RESULT'length); + for I in 0 to L_LEFT-1 loop + if XL(I) = '1' then RESULT := RESULT + ADVAL; + end if; + ADVAL := SHIFT_LEFT(ADVAL, 1); + end loop; + if XL(L_LEFT) = '1' then + RESULT := RESULT - ADVAL; + end if; + return RESULT; + end function "*"; + + -- Id: A.17 + function "*" (L : UNSIGNED; R : NATURAL) return UNSIGNED is + begin + return L * TO_UNSIGNED(R, L'length); + end function "*"; + + -- Id: A.18 + function "*" (L : NATURAL; R : UNSIGNED) return UNSIGNED is + begin + return TO_UNSIGNED(L, R'length) * R; + end function "*"; + + -- Id: A.19 + function "*" (L : SIGNED; R : INTEGER) return SIGNED is + begin + return L * TO_SIGNED(R, L'length); + end function "*"; + + -- Id: A.20 + function "*" (L : INTEGER; R : SIGNED) return SIGNED is + begin + return TO_SIGNED(L, R'length) * R; + end function "*"; + + -- ============================================================================ + + -- Id: A.21 + function "/" (L, R : UNSIGNED) return UNSIGNED is + variable FQUOT : UNSIGNED(L'length-1 downto 0); + variable FREMAIN : UNSIGNED(R'length-1 downto 0); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + DIVMOD(L, R, FQUOT, FREMAIN); + return FQUOT; + end function "/"; + + -- Id: A.22 + function "/" (L, R : SIGNED) return SIGNED is + variable FQUOT : UNSIGNED(L'length-1 downto 0); + variable FREMAIN : UNSIGNED(R'length-1 downto 0); + variable XNUM : UNSIGNED(L'length-1 downto 0); + variable XDENOM : UNSIGNED(R'length-1 downto 0); + variable QNEG : BOOLEAN := false; + begin + if ((L'length < 1) or (R'length < 1)) then return NAS; + end if; + if L(L'left) = '1' then + XNUM := UNSIGNED(-L); + QNEG := true; + else + XNUM := UNSIGNED(L); + end if; + if R(R'left) = '1' then + XDENOM := UNSIGNED(-R); + QNEG := not QNEG; + else + XDENOM := UNSIGNED(R); + end if; + DIVMOD(XNUM, XDENOM, FQUOT, FREMAIN); + if QNEG then FQUOT := "0"-FQUOT; + end if; + return SIGNED(FQUOT); + end function "/"; + + -- Id: A.23 + function "/" (L : UNSIGNED; R : NATURAL) return UNSIGNED is + constant R_LENGTH : NATURAL := MAXIMUM(L'length, UNSIGNED_NUM_BITS(R)); + variable XR, QUOT : UNSIGNED(R_LENGTH-1 downto 0); + begin + if (L'length < 1) then return NAU; + end if; + if (R_LENGTH > L'length) then + QUOT := (others => '0'); + return RESIZE(QUOT, L'length); + end if; + XR := TO_UNSIGNED(R, R_LENGTH); + QUOT := RESIZE((L / XR), QUOT'length); + return RESIZE(QUOT, L'length); + end function "/"; + + -- Id: A.24 + function "/" (L : NATURAL; R : UNSIGNED) return UNSIGNED is + constant L_LENGTH : NATURAL := MAXIMUM(UNSIGNED_NUM_BITS(L), R'length); + variable XL, QUOT : UNSIGNED(L_LENGTH-1 downto 0); + begin + if (R'length < 1) then return NAU; + end if; + XL := TO_UNSIGNED(L, L_LENGTH); + QUOT := RESIZE((XL / R), QUOT'length); + if L_LENGTH > R'length + and QUOT(L_LENGTH-1 downto R'length) + /= (L_LENGTH-1 downto R'length => '0') + then + assert NO_WARNING report "NUMERIC_BIT.""/"": Quotient Truncated" + severity warning; + end if; + return RESIZE(QUOT, R'length); + end function "/"; + + -- Id: A.25 + function "/" (L : SIGNED; R : INTEGER) return SIGNED is + constant R_LENGTH : NATURAL := MAXIMUM(L'length, SIGNED_NUM_BITS(R)); + variable XR, QUOT : SIGNED(R_LENGTH-1 downto 0); + begin + if (L'length < 1) then return NAS; + end if; + if (R_LENGTH > L'length) then + QUOT := (others => '0'); + return RESIZE(QUOT, L'length); + end if; + XR := TO_SIGNED(R, R_LENGTH); + QUOT := RESIZE((L / XR), QUOT'length); + return RESIZE(QUOT, L'length); + end function "/"; + + -- Id: A.26 + function "/" (L : INTEGER; R : SIGNED) return SIGNED is + constant L_LENGTH : NATURAL := MAXIMUM(SIGNED_NUM_BITS(L), R'length); + variable XL, QUOT : SIGNED(L_LENGTH-1 downto 0); + begin + if (R'length < 1) then return NAS; + end if; + XL := TO_SIGNED(L, L_LENGTH); + QUOT := RESIZE((XL / R), QUOT'length); + if L_LENGTH > R'length and QUOT(L_LENGTH-1 downto R'length) + /= (L_LENGTH-1 downto R'length => QUOT(R'length-1)) + then + assert NO_WARNING report "NUMERIC_BIT.""/"": Quotient Truncated" + severity warning; + end if; + return RESIZE(QUOT, R'length); + end function "/"; + + -- ============================================================================ + + -- Id: A.27 + function "rem" (L, R : UNSIGNED) return UNSIGNED is + variable FQUOT : UNSIGNED(L'length-1 downto 0); + variable FREMAIN : UNSIGNED(R'length-1 downto 0); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + DIVMOD(L, R, FQUOT, FREMAIN); + return FREMAIN; + end function "rem"; + + -- Id: A.28 + function "rem" (L, R : SIGNED) return SIGNED is + variable FQUOT : UNSIGNED(L'length-1 downto 0); + variable FREMAIN : UNSIGNED(R'length-1 downto 0); + variable XNUM : UNSIGNED(L'length-1 downto 0); + variable XDENOM : UNSIGNED(R'length-1 downto 0); + variable RNEG : BOOLEAN := false; + begin + if ((L'length < 1) or (R'length < 1)) then return NAS; + end if; + if L(L'left) = '1' then + XNUM := UNSIGNED(-L); + RNEG := true; + else + XNUM := UNSIGNED(L); + end if; + if R(R'left) = '1' then + XDENOM := UNSIGNED(-R); + else + XDENOM := UNSIGNED(R); + end if; + DIVMOD(XNUM, XDENOM, FQUOT, FREMAIN); + if RNEG then + FREMAIN := "0"-FREMAIN; + end if; + return SIGNED(FREMAIN); + end function "rem"; + + -- Id: A.29 + function "rem" (L : UNSIGNED; R : NATURAL) return UNSIGNED is + constant R_LENGTH : NATURAL := MAXIMUM(L'length, UNSIGNED_NUM_BITS(R)); + variable XR, XREM : UNSIGNED(R_LENGTH-1 downto 0); + begin + if (L'length < 1) then return NAU; + end if; + XR := TO_UNSIGNED(R, R_LENGTH); + XREM := RESIZE((L rem XR), XREM'length); + if R_LENGTH > L'length and XREM(R_LENGTH-1 downto L'length) + /= (R_LENGTH-1 downto L'length => '0') + then + assert NO_WARNING report "NUMERIC_BIT.""rem"": Remainder Truncated" + severity warning; + end if; + return RESIZE(XREM, L'length); + end function "rem"; + + -- Id: A.30 + function "rem" (L : NATURAL; R : UNSIGNED) return UNSIGNED is + constant L_LENGTH : NATURAL := MAXIMUM(UNSIGNED_NUM_BITS(L), R'length); + variable XL, XREM : UNSIGNED(L_LENGTH-1 downto 0); + begin + if (R'length < 1) then return NAU; + end if; + XL := TO_UNSIGNED(L, L_LENGTH); + XREM := RESIZE((XL rem R), XREM'length); + if L_LENGTH > R'length and XREM(L_LENGTH-1 downto R'length) + /= (L_LENGTH-1 downto R'length => '0') + then + assert NO_WARNING report "NUMERIC_BIT.""rem"": Remainder Truncated" + severity warning; + end if; + return RESIZE(XREM, R'length); + end function "rem"; + + -- Id: A.31 + function "rem" (L : SIGNED; R : INTEGER) return SIGNED is + constant R_LENGTH : NATURAL := MAXIMUM(L'length, SIGNED_NUM_BITS(R)); + variable XR, XREM : SIGNED(R_LENGTH-1 downto 0); + begin + if (L'length < 1) then return NAS; + end if; + XR := TO_SIGNED(R, R_LENGTH); + XREM := RESIZE((L rem XR), XREM'length); + if R_LENGTH > L'length and XREM(R_LENGTH-1 downto L'length) + /= (R_LENGTH-1 downto L'length => XREM(L'length-1)) + then + assert NO_WARNING report "NUMERIC_BIT.""rem"": Remainder Truncated" + severity warning; + end if; + return RESIZE(XREM, L'length); + end function "rem"; + + -- Id: A.32 + function "rem" (L : INTEGER; R : SIGNED) return SIGNED is + constant L_LENGTH : NATURAL := MAXIMUM(SIGNED_NUM_BITS(L), R'length); + variable XL, XREM : SIGNED(L_LENGTH-1 downto 0); + begin + if (R'length < 1) then return NAS; + end if; + XL := TO_SIGNED(L, L_LENGTH); + XREM := RESIZE((XL rem R), XREM'length); + if L_LENGTH > R'length and XREM(L_LENGTH-1 downto R'length) + /= (L_LENGTH-1 downto R'length => XREM(R'length-1)) + then + assert NO_WARNING report "NUMERIC_BIT.""rem"": Remainder Truncated" + severity warning; + end if; + return RESIZE(XREM, R'length); + end function "rem"; + + -- ============================================================================ + + -- Id: A.33 + function "mod" (L, R : UNSIGNED) return UNSIGNED is + variable FQUOT : UNSIGNED(L'length-1 downto 0); + variable FREMAIN : UNSIGNED(R'length-1 downto 0); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + DIVMOD(L, R, FQUOT, FREMAIN); + return FREMAIN; + end function "mod"; + + -- Id: A.34 + function "mod" (L, R : SIGNED) return SIGNED is + variable FQUOT : UNSIGNED(L'length-1 downto 0); + variable FREMAIN : UNSIGNED(R'length-1 downto 0); + variable XNUM : UNSIGNED(L'length-1 downto 0); + variable XDENOM : UNSIGNED(R'length-1 downto 0); + variable RNEG : BOOLEAN := false; + begin + if ((L'length < 1) or (R'length < 1)) then return NAS; + end if; + if L(L'left) = '1' then + XNUM := UNSIGNED(-L); + else + XNUM := UNSIGNED(L); + end if; + if R(R'left) = '1' then + XDENOM := UNSIGNED(-R); + RNEG := true; + else + XDENOM := UNSIGNED(R); + end if; + DIVMOD(XNUM, XDENOM, FQUOT, FREMAIN); + if RNEG and L(L'left) = '1' then + FREMAIN := "0"-FREMAIN; + elsif RNEG and FREMAIN /= "0" then + FREMAIN := FREMAIN-XDENOM; + elsif L(L'left) = '1' and FREMAIN /= "0" then + FREMAIN := XDENOM-FREMAIN; + end if; + return SIGNED(FREMAIN); + end function "mod"; + + -- Id: A.35 + function "mod" (L : UNSIGNED; R : NATURAL) return UNSIGNED is + constant R_LENGTH : NATURAL := MAXIMUM(L'length, UNSIGNED_NUM_BITS(R)); + variable XR, XREM : UNSIGNED(R_LENGTH-1 downto 0); + begin + if (L'length < 1) then return NAU; + end if; + XR := TO_UNSIGNED(R, R_LENGTH); + XREM := RESIZE((L mod XR), XREM'length); + if R_LENGTH > L'length and XREM(R_LENGTH-1 downto L'length) + /= (R_LENGTH-1 downto L'length => '0') + then + assert NO_WARNING report "NUMERIC_BIT.""mod"": Modulus Truncated" + severity warning; + end if; + return RESIZE(XREM, L'length); + end function "mod"; + + -- Id: A.36 + function "mod" (L : NATURAL; R : UNSIGNED) return UNSIGNED is + constant L_LENGTH : NATURAL := MAXIMUM(UNSIGNED_NUM_BITS(L), R'length); + variable XL, XREM : UNSIGNED(L_LENGTH-1 downto 0); + begin + if (R'length < 1) then return NAU; + end if; + XL := TO_UNSIGNED(L, L_LENGTH); + XREM := RESIZE((XL mod R), XREM'length); + if L_LENGTH > R'length and XREM(L_LENGTH-1 downto R'length) + /= (L_LENGTH-1 downto R'length => '0') + then + assert NO_WARNING report "NUMERIC_BIT.""mod"": Modulus Truncated" + severity warning; + end if; + return RESIZE(XREM, R'length); + end function "mod"; + + -- Id: A.37 + function "mod" (L : SIGNED; R : INTEGER) return SIGNED is + constant R_LENGTH : NATURAL := MAXIMUM(L'length, SIGNED_NUM_BITS(R)); + variable XR, XREM : SIGNED(R_LENGTH-1 downto 0); + begin + if (L'length < 1) then return NAS; + end if; + XR := TO_SIGNED(R, R_LENGTH); + XREM := RESIZE((L mod XR), XREM'length); + if R_LENGTH > L'length and XREM(R_LENGTH-1 downto L'length) + /= (R_LENGTH-1 downto L'length => XREM(L'length-1)) + then + assert NO_WARNING report "NUMERIC_BIT.""mod"": Modulus Truncated" + severity warning; + end if; + return RESIZE(XREM, L'length); + end function "mod"; + + -- Id: A.38 + function "mod" (L : INTEGER; R : SIGNED) return SIGNED is + constant L_LENGTH : NATURAL := MAXIMUM(SIGNED_NUM_BITS(L), R'length); + variable XL, XREM : SIGNED(L_LENGTH-1 downto 0); + begin + if (R'length < 1) then return NAS; + end if; + XL := TO_SIGNED(L, L_LENGTH); + XREM := RESIZE((XL mod R), XREM'length); + if L_LENGTH > R'length and XREM(L_LENGTH-1 downto R'length) + /= (L_LENGTH-1 downto R'length => XREM(R'length-1)) + then + assert NO_WARNING report "NUMERIC_BIT.""mod"": Modulus Truncated" + severity warning; + end if; + return RESIZE(XREM, R'length); + end function "mod"; + + -- ============================================================================ + -- Id: A.39 + function find_leftmost (ARG : UNSIGNED; Y : BIT) return INTEGER is + begin + for INDEX in ARG'range loop + if ARG(INDEX) = Y then + return INDEX; + end if; + end loop; + return -1; + end function find_leftmost; + + -- Id: A.40 + function find_leftmost (ARG : SIGNED; Y : BIT) return INTEGER is + begin + for INDEX in ARG'range loop + if ARG(INDEX) = Y then + return INDEX; + end if; + end loop; + return -1; + end function find_leftmost; + + -- Id: A.41 + function find_rightmost (ARG : UNSIGNED; Y : BIT) return INTEGER is + begin + for INDEX in ARG'reverse_range loop + if ARG(INDEX) = Y then + return INDEX; + end if; + end loop; + return -1; + end function find_rightmost; + + -- Id: A.42 + function find_rightmost (ARG : SIGNED; Y : BIT) return INTEGER is + begin + for INDEX in ARG'reverse_range loop + if ARG(INDEX) = Y then + return INDEX; + end if; + end loop; + return -1; + end function find_rightmost; + + -- ============================================================================ + + -- Id: C.1 + function ">" (L, R : UNSIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT."">"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return not UNSIGNED_LESS_OR_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function ">"; + + -- Id: C.2 + function ">" (L, R : SIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT."">"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return not SIGNED_LESS_OR_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function ">"; + + -- Id: C.3 + function ">" (L : NATURAL; R : UNSIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(L) > R'length then return true; + end if; + return not UNSIGNED_LESS_OR_EQUAL(TO_UNSIGNED(L, R'length), R); + end function ">"; + + -- Id: C.4 + function ">" (L : INTEGER; R : SIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(L) > R'length then return L > 0; + end if; + return not SIGNED_LESS_OR_EQUAL(TO_SIGNED(L, R'length), R); + end function ">"; + + -- Id: C.5 + function ">" (L : UNSIGNED; R : NATURAL) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(R) > L'length then return false; + end if; + return not UNSIGNED_LESS_OR_EQUAL(L, TO_UNSIGNED(R, L'length)); + end function ">"; + + -- Id: C.6 + function ">" (L : SIGNED; R : INTEGER) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(R) > L'length then return 0 > R; + end if; + return not SIGNED_LESS_OR_EQUAL(L, TO_SIGNED(R, L'length)); + end function ">"; + + -- ============================================================================ + + -- Id: C.7 + function "<" (L, R : UNSIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""<"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return UNSIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function "<"; + + -- Id: C.8 + function "<" (L, R : SIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""<"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return SIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function "<"; + + -- Id: C.9 + function "<" (L : NATURAL; R : UNSIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(L) > R'length then return L < 0; + end if; + return UNSIGNED_LESS(TO_UNSIGNED(L, R'length), R); + end function "<"; + + -- Id: C.10 + function "<" (L : INTEGER; R : SIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(L) > R'length then return L < 0; + end if; + return SIGNED_LESS(TO_SIGNED(L, R'length), R); + end function "<"; + + -- Id: C.11 + function "<" (L : UNSIGNED; R : NATURAL) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(R) > L'length then return 0 < R; + end if; + return UNSIGNED_LESS(L, TO_UNSIGNED(R, L'length)); + end function "<"; + + -- Id: C.12 + function "<" (L : SIGNED; R : INTEGER) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<"": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(R) > L'length then return 0 < R; + end if; + return SIGNED_LESS(L, TO_SIGNED(R, L'length)); + end function "<"; + + -- ============================================================================ + + -- Id: C.13 + function "<=" (L, R : UNSIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""<="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return UNSIGNED_LESS_OR_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function "<="; + + -- Id: C.14 + function "<=" (L, R : SIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""<="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return SIGNED_LESS_OR_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function "<="; + + -- Id: C.15 + function "<=" (L : NATURAL; R : UNSIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(L) > R'length then return L < 0; + end if; + return UNSIGNED_LESS_OR_EQUAL(TO_UNSIGNED(L, R'length), R); + end function "<="; + + -- Id: C.16 + function "<=" (L : INTEGER; R : SIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(L) > R'length then return L < 0; + end if; + return SIGNED_LESS_OR_EQUAL(TO_SIGNED(L, R'length), R); + end function "<="; + + -- Id: C.17 + function "<=" (L : UNSIGNED; R : NATURAL) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(R) > L'length then return 0 < R; + end if; + return UNSIGNED_LESS_OR_EQUAL(L, TO_UNSIGNED(R, L'length)); + end function "<="; + + -- Id: C.18 + function "<=" (L : SIGNED; R : INTEGER) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""<="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(R) > L'length then return 0 < R; + end if; + return SIGNED_LESS_OR_EQUAL(L, TO_SIGNED(R, L'length)); + end function "<="; + + -- ============================================================================ + + -- Id: C.19 + function ">=" (L, R : UNSIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT."">="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return not UNSIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function ">="; + + -- Id: C.20 + function ">=" (L, R : SIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT."">="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return not SIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function ">="; + + -- Id: C.21 + function ">=" (L : NATURAL; R : UNSIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(L) > R'length then return L > 0; + end if; + return not UNSIGNED_LESS(TO_UNSIGNED(L, R'length), R); + end function ">="; + + -- Id: C.22 + function ">=" (L : INTEGER; R : SIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(L) > R'length then return L > 0; + end if; + return not SIGNED_LESS(TO_SIGNED(L, R'length), R); + end function ">="; + + -- Id: C.23 + function ">=" (L : UNSIGNED; R : NATURAL) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(R) > L'length then return 0 > R; + end if; + return not UNSIGNED_LESS(L, TO_UNSIGNED(R, L'length)); + end function ">="; + + -- Id: C.24 + function ">=" (L : SIGNED; R : INTEGER) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT."">="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(R) > L'length then return 0 > R; + end if; + return not SIGNED_LESS(L, TO_SIGNED(R, L'length)); + end function ">="; + + -- ============================================================================ + + -- Id: C.25 + function "=" (L, R : UNSIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return UNSIGNED_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function "="; + + -- Id: C.26 + function "=" (L, R : SIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + return SIGNED_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE)); + end function "="; + + -- Id: C.27 + function "=" (L : NATURAL; R : UNSIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(L) > R'length then return false; + end if; + return UNSIGNED_EQUAL(TO_UNSIGNED(L, R'length), R); + end function "="; + + -- Id: C.28 + function "=" (L : INTEGER; R : SIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(L) > R'length then return false; + end if; + return SIGNED_EQUAL(TO_SIGNED(L, R'length), R); + end function "="; + + -- Id: C.29 + function "=" (L : UNSIGNED; R : NATURAL) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if UNSIGNED_NUM_BITS(R) > L'length then return false; + end if; + return UNSIGNED_EQUAL(L, TO_UNSIGNED(R, L'length)); + end function "="; + + -- Id: C.30 + function "=" (L : SIGNED; R : INTEGER) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""="": null argument detected, returning FALSE" + severity warning; + return false; + end if; + if SIGNED_NUM_BITS(R) > L'length then return false; + end if; + return SIGNED_EQUAL(L, TO_SIGNED(R, L'length)); + end function "="; + + -- ============================================================================ + + -- Id: C.31 + function "/=" (L, R : UNSIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""/="": null argument detected, returning TRUE" + severity warning; + return true; + end if; + return not(UNSIGNED_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE))); + end function "/="; + + -- Id: C.32 + function "/=" (L, R : SIGNED) return BOOLEAN is + variable SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then + assert NO_WARNING + report "NUMERIC_BIT.""/="": null argument detected, returning TRUE" + severity warning; + return true; + end if; + return not(SIGNED_EQUAL(RESIZE(L, SIZE), RESIZE(R, SIZE))); + end function "/="; + + -- Id: C.33 + function "/=" (L : NATURAL; R : UNSIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""/="": null argument detected, returning TRUE" + severity warning; + return true; + end if; + if UNSIGNED_NUM_BITS(L) > R'length then return true; + end if; + return not(UNSIGNED_EQUAL(TO_UNSIGNED(L, R'length), R)); + end function "/="; + + -- Id: C.34 + function "/=" (L : INTEGER; R : SIGNED) return BOOLEAN is + begin + if (R'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""/="": null argument detected, returning TRUE" + severity warning; + return true; + end if; + if SIGNED_NUM_BITS(L) > R'length then return true; + end if; + return not(SIGNED_EQUAL(TO_SIGNED(L, R'length), R)); + end function "/="; + + -- Id: C.35 + function "/=" (L : UNSIGNED; R : NATURAL) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""/="": null argument detected, returning TRUE" + severity warning; + return true; + end if; + if UNSIGNED_NUM_BITS(R) > L'length then return true; + end if; + return not(UNSIGNED_EQUAL(L, TO_UNSIGNED(R, L'length))); + end function "/="; + + -- Id: C.36 + function "/=" (L : SIGNED; R : INTEGER) return BOOLEAN is + begin + if (L'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.""/="": null argument detected, returning TRUE" + severity warning; + return true; + end if; + if SIGNED_NUM_BITS(R) > L'length then return true; + end if; + return not(SIGNED_EQUAL(L, TO_SIGNED(R, L'length))); + end function "/="; + + -- ============================================================================ + + -- Id: C.37 + function MINIMUM (L, R : UNSIGNED) return UNSIGNED is + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + if UNSIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)) then + return RESIZE(L, SIZE); + else + return RESIZE(R, SIZE); + end if; + end function MINIMUM; + + -- Id: C.38 + function MINIMUM (L, R : SIGNED) return SIGNED is + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAS; + end if; + if SIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)) then + return RESIZE(L, SIZE); + else + return RESIZE(R, SIZE); + end if; + end function MINIMUM; + + -- Id: C.39 + function MINIMUM (L : NATURAL; R : UNSIGNED) return UNSIGNED is + begin + return MINIMUM(TO_UNSIGNED(L, R'length), R); + end function MINIMUM; + + -- Id: C.40 + function MINIMUM (L : INTEGER; R : SIGNED) return SIGNED is + begin + return MINIMUM(TO_SIGNED(L, R'length), R); + end function MINIMUM; + + -- Id: C.41 + function MINIMUM (L : UNSIGNED; R : NATURAL) return UNSIGNED is + begin + return MINIMUM(L, TO_UNSIGNED(R, L'length)); + end function MINIMUM; + + -- Id: C.42 + function MINIMUM (L : SIGNED; R : INTEGER) return SIGNED is + begin + return MINIMUM(L, TO_SIGNED(R, L'length)); + end function MINIMUM; + + -- ============================================================================ + + -- Id: C.43 + function MAXIMUM (L, R : UNSIGNED) return UNSIGNED is + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAU; + end if; + if UNSIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)) then + return RESIZE(R, SIZE); + else + return RESIZE(L, SIZE); + end if; + end function MAXIMUM; + + -- Id: C.44 + function MAXIMUM (L, R : SIGNED) return SIGNED is + constant SIZE : NATURAL := MAXIMUM(L'length, R'length); + begin + if ((L'length < 1) or (R'length < 1)) then return NAS; + end if; + if SIGNED_LESS(RESIZE(L, SIZE), RESIZE(R, SIZE)) then + return RESIZE(R, SIZE); + else + return RESIZE(L, SIZE); + end if; + end function MAXIMUM; + + -- Id: C.45 + function MAXIMUM (L : NATURAL; R : UNSIGNED) return UNSIGNED is + begin + return MAXIMUM(TO_UNSIGNED(L, R'length), R); + end function MAXIMUM; + + -- Id: C.46 + function MAXIMUM (L : INTEGER; R : SIGNED) return SIGNED is + begin + return MAXIMUM(TO_SIGNED(L, R'length), R); + end function MAXIMUM; + + -- Id: C.47 + function MAXIMUM (L : UNSIGNED; R : NATURAL) return UNSIGNED is + begin + return MAXIMUM(L, TO_UNSIGNED(R, L'length)); + end function MAXIMUM; + + -- Id: C.48 + function MAXIMUM (L : SIGNED; R : INTEGER) return SIGNED is + begin + return MAXIMUM(L, TO_SIGNED(R, L'length)); + end function MAXIMUM; + + -- ============================================================================ + + -- Id: C.49 + function "?>" (L, R : UNSIGNED) return BIT is + begin + if L > R then + return '1'; + else + return '0'; + end if; + end function "?>"; + + -- Id: C.50 + function "?>" (L, R : SIGNED) return BIT is + begin + if L > R then + return '1'; + else + return '0'; + end if; + end function "?>"; + + -- Id: C.51 + function "?>" (L : NATURAL; R : UNSIGNED) return BIT is + begin + if L > R then + return '1'; + else + return '0'; + end if; + end function "?>"; + + -- Id: C.52 + function "?>" (L : INTEGER; R : SIGNED) return BIT is + begin + if L > R then + return '1'; + else + return '0'; + end if; + end function "?>"; + + -- Id: C.53 + function "?>" (L : UNSIGNED; R : NATURAL) return BIT is + begin + if L > R then + return '1'; + else + return '0'; + end if; + end function "?>"; + + -- Id: C.54 + function "?>" (L : SIGNED; R : INTEGER) return BIT is + begin + if L > R then + return '1'; + else + return '0'; + end if; + end function "?>"; + + -- ============================================================================ + + -- Id: C.55 + function "?<" (L, R : UNSIGNED) return BIT is + begin + if L < R then + return '1'; + else + return '0'; + end if; + end function "?<"; + + -- Id: C.56 + function "?<" (L, R : SIGNED) return BIT is + begin + if L < R then + return '1'; + else + return '0'; + end if; + end function "?<"; + + -- Id: C.57 + function "?<" (L : NATURAL; R : UNSIGNED) return BIT is + begin + if L < R then + return '1'; + else + return '0'; + end if; + end function "?<"; + + -- Id: C.58 + function "?<" (L : INTEGER; R : SIGNED) return BIT is + begin + if L < R then + return '1'; + else + return '0'; + end if; + end function "?<"; + + -- Id: C.59 + function "?<" (L : UNSIGNED; R : NATURAL) return BIT is + begin + if L < R then + return '1'; + else + return '0'; + end if; + end function "?<"; + + -- Id: C.60 + function "?<" (L : SIGNED; R : INTEGER) return BIT is + begin + if L < R then + return '1'; + else + return '0'; + end if; + end function "?<"; + + -- ============================================================================ + + -- Id: C.61 + function "?<=" (L, R : UNSIGNED) return BIT is + begin + if L <= R then + return '1'; + else + return '0'; + end if; + end function "?<="; + + -- Id: C.62 + function "?<=" (L, R : SIGNED) return BIT is + begin + if L <= R then + return '1'; + else + return '0'; + end if; + end function "?<="; + + -- Id: C.63 + function "?<=" (L : NATURAL; R : UNSIGNED) return BIT is + begin + if L <= R then + return '1'; + else + return '0'; + end if; + end function "?<="; + + -- Id: C.64 + function "?<=" (L : INTEGER; R : SIGNED) return BIT is + begin + if L <= R then + return '1'; + else + return '0'; + end if; + end function "?<="; + + -- Id: C.65 + function "?<=" (L : UNSIGNED; R : NATURAL) return BIT is + begin + if L <= R then + return '1'; + else + return '0'; + end if; + end function "?<="; + + -- Id: C.66 + function "?<=" (L : SIGNED; R : INTEGER) return BIT is + begin + if L <= R then + return '1'; + else + return '0'; + end if; + end function "?<="; + + -- ============================================================================ + + -- Id: C.67 + function "?>=" (L, R : UNSIGNED) return BIT is + begin + if L >= R then + return '1'; + else + return '0'; + end if; + end function "?>="; + + -- Id: C.68 + function "?>=" (L, R : SIGNED) return BIT is + begin + if L >= R then + return '1'; + else + return '0'; + end if; + end function "?>="; + + -- Id: C.69 + function "?>=" (L : NATURAL; R : UNSIGNED) return BIT is + begin + if L >= R then + return '1'; + else + return '0'; + end if; + end function "?>="; + + -- Id: C.70 + function "?>=" (L : INTEGER; R : SIGNED) return BIT is + begin + if L >= R then + return '1'; + else + return '0'; + end if; + end function "?>="; + + -- Id: C.71 + function "?>=" (L : UNSIGNED; R : NATURAL) return BIT is + begin + if L >= R then + return '1'; + else + return '0'; + end if; + end function "?>="; + + -- Id: C.72 + function "?>=" (L : SIGNED; R : INTEGER) return BIT is + begin + if L >= R then + return '1'; + else + return '0'; + end if; + end function "?>="; + + -- ============================================================================ + + -- Id: C.73 + function "?=" (L, R : UNSIGNED) return BIT is + begin + if L = R then + return '1'; + else + return '0'; + end if; + end function "?="; + + -- Id: C.74 + function "?=" (L, R : SIGNED) return BIT is + begin + if L = R then + return '1'; + else + return '0'; + end if; + end function "?="; + + -- Id: C.75 + function "?=" (L : NATURAL; R : UNSIGNED) return BIT is + begin + if L = R then + return '1'; + else + return '0'; + end if; + end function "?="; + + -- Id: C.76 + function "?=" (L : INTEGER; R : SIGNED) return BIT is + begin + if L = R then + return '1'; + else + return '0'; + end if; + end function "?="; + + -- Id: C.77 + function "?=" (L : UNSIGNED; R : NATURAL) return BIT is + begin + if L = R then + return '1'; + else + return '0'; + end if; + end function "?="; + + -- Id: C.78 + function "?=" (L : SIGNED; R : INTEGER) return BIT is + begin + if L = R then + return '1'; + else + return '0'; + end if; + end function "?="; + + -- ============================================================================ + + -- Id: C.79 + function "?/=" (L, R : UNSIGNED) return BIT is + begin + if L /= R then + return '1'; + else + return '0'; + end if; + end function "?/="; + + -- Id: C.80 + function "?/=" (L, R : SIGNED) return BIT is + begin + if L /= R then + return '1'; + else + return '0'; + end if; + end function "?/="; + + -- Id: C.81 + function "?/=" (L : NATURAL; R : UNSIGNED) return BIT is + begin + if L /= R then + return '1'; + else + return '0'; + end if; + end function "?/="; + + -- Id: C.82 + function "?/=" (L : INTEGER; R : SIGNED) return BIT is + begin + if L /= R then + return '1'; + else + return '0'; + end if; + end function "?/="; + + -- Id: C.83 + function "?/=" (L : UNSIGNED; R : NATURAL) return BIT is + begin + if L /= R then + return '1'; + else + return '0'; + end if; + end function "?/="; + + -- Id: C.84 + function "?/=" (L : SIGNED; R : INTEGER) return BIT is + begin + if L /= R then + return '1'; + else + return '0'; + end if; + end function "?/="; + + -- ============================================================================ + + -- Id: S.1 + function SHIFT_LEFT (ARG : UNSIGNED; COUNT : NATURAL) return UNSIGNED is + begin + if (ARG'length < 1) then return NAU; + end if; + return UNSIGNED(XSLL(BIT_VECTOR(ARG), COUNT)); + end function SHIFT_LEFT; + + -- Id: S.2 + function SHIFT_RIGHT (ARG : UNSIGNED; COUNT : NATURAL) return UNSIGNED is + begin + if (ARG'length < 1) then return NAU; + end if; + return UNSIGNED(XSRL(BIT_VECTOR(ARG), COUNT)); + end function SHIFT_RIGHT; + + -- Id: S.3 + function SHIFT_LEFT (ARG : SIGNED; COUNT : NATURAL) return SIGNED is + begin + if (ARG'length < 1) then return NAS; + end if; + return SIGNED(XSLL(BIT_VECTOR(ARG), COUNT)); + end function SHIFT_LEFT; + + -- Id: S.4 + function SHIFT_RIGHT (ARG : SIGNED; COUNT : NATURAL) return SIGNED is + begin + if (ARG'length < 1) then return NAS; + end if; + return SIGNED(XSRA(BIT_VECTOR(ARG), COUNT)); + end function SHIFT_RIGHT; + + -- ============================================================================ + + -- Id: S.5 + function ROTATE_LEFT (ARG : UNSIGNED; COUNT : NATURAL) return UNSIGNED is + begin + if (ARG'length < 1) then return NAU; + end if; + return UNSIGNED(XROL(BIT_VECTOR(ARG), COUNT)); + end function ROTATE_LEFT; + + -- Id: S.6 + function ROTATE_RIGHT (ARG : UNSIGNED; COUNT : NATURAL) return UNSIGNED is + begin + if (ARG'length < 1) then return NAU; + end if; + return UNSIGNED(XROR(BIT_VECTOR(ARG), COUNT)); + end function ROTATE_RIGHT; + + -- Id: S.7 + function ROTATE_LEFT (ARG : SIGNED; COUNT : NATURAL) return SIGNED is + begin + if (ARG'length < 1) then return NAS; + end if; + return SIGNED(XROL(BIT_VECTOR(ARG), COUNT)); + end function ROTATE_LEFT; + + -- Id: S.8 + function ROTATE_RIGHT (ARG : SIGNED; COUNT : NATURAL) return SIGNED is + begin + if (ARG'length < 1) then return NAS; + end if; + return SIGNED(XROR(BIT_VECTOR(ARG), COUNT)); + end function ROTATE_RIGHT; + + -- ============================================================================ + + ------------------------------------------------------------------------------ + -- Note: Function S.9 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.9 + function "sll" (ARG : UNSIGNED; COUNT : INTEGER) return UNSIGNED is + begin + if (COUNT >= 0) then + return SHIFT_LEFT(ARG, COUNT); + else + return SHIFT_RIGHT(ARG, -COUNT); + end if; + end function "sll"; + + ------------------------------------------------------------------------------ + -- Note: Function S.10 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.10 + function "sll" (ARG : SIGNED; COUNT : INTEGER) return SIGNED is + begin + if (COUNT >= 0) then + return SHIFT_LEFT(ARG, COUNT); + else + return SIGNED(SHIFT_RIGHT(UNSIGNED(ARG), -COUNT)); + end if; + end function "sll"; + + ------------------------------------------------------------------------------ + -- Note: Function S.11 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.11 + function "srl" (ARG : UNSIGNED; COUNT : INTEGER) return UNSIGNED is + begin + if (COUNT >= 0) then + return SHIFT_RIGHT(ARG, COUNT); + else + return SHIFT_LEFT(ARG, -COUNT); + end if; + end function "srl"; + + ------------------------------------------------------------------------------ + -- Note: Function S.12 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.12 + function "srl" (ARG : SIGNED; COUNT : INTEGER) return SIGNED is + begin + if (COUNT >= 0) then + return SIGNED(SHIFT_RIGHT(UNSIGNED(ARG), COUNT)); + else + return SHIFT_LEFT(ARG, -COUNT); + end if; + end function "srl"; + + ------------------------------------------------------------------------------ + -- Note: Function S.13 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.13 + function "rol" (ARG : UNSIGNED; COUNT : INTEGER) return UNSIGNED is + begin + if (COUNT >= 0) then + return ROTATE_LEFT(ARG, COUNT); + else + return ROTATE_RIGHT(ARG, -COUNT); + end if; + end function "rol"; + + ------------------------------------------------------------------------------ + -- Note: Function S.14 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.14 + function "rol" (ARG : SIGNED; COUNT : INTEGER) return SIGNED is + begin + if (COUNT >= 0) then + return ROTATE_LEFT(ARG, COUNT); + else + return ROTATE_RIGHT(ARG, -COUNT); + end if; + end function "rol"; + + ------------------------------------------------------------------------------ + -- Note: Function S.15 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.15 + function "ror" (ARG : UNSIGNED; COUNT : INTEGER) return UNSIGNED is + begin + if (COUNT >= 0) then + return ROTATE_RIGHT(ARG, COUNT); + else + return ROTATE_LEFT(ARG, -COUNT); + end if; + end function "ror"; + + ------------------------------------------------------------------------------ + -- Note: Function S.16 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.16 + function "ror" (ARG : SIGNED; COUNT : INTEGER) return SIGNED is + begin + if (COUNT >= 0) then + return ROTATE_RIGHT(ARG, COUNT); + else + return ROTATE_LEFT(ARG, -COUNT); + end if; + end function "ror"; + + ------------------------------------------------------------------------------ + -- Note: Function S.17 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.17 + function "sla" (ARG : UNSIGNED; COUNT : INTEGER) return UNSIGNED is + begin + if (COUNT >= 0) then + return SHIFT_LEFT(ARG, COUNT); + else + return SHIFT_RIGHT(ARG, -COUNT); + end if; + end function "sla"; + + ------------------------------------------------------------------------------ + -- Note: Function S.18 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.18 + function "sla" (ARG : SIGNED; COUNT : INTEGER) return SIGNED is + begin + if (COUNT >= 0) then + return SHIFT_LEFT(ARG, COUNT); + else + return SHIFT_RIGHT(ARG, -COUNT); + end if; + end function "sla"; + + ------------------------------------------------------------------------------ + -- Note: Function S.19 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.19 + function "sra" (ARG : UNSIGNED; COUNT : INTEGER) return UNSIGNED is + begin + if (COUNT >= 0) then + return SHIFT_RIGHT(ARG, COUNT); + else + return SHIFT_LEFT(ARG, -COUNT); + end if; + end function "sra"; + + ------------------------------------------------------------------------------ + -- Note: Function S.20 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: S.20 + function "sra" (ARG : SIGNED; COUNT : INTEGER) return SIGNED is + begin + if (COUNT >= 0) then + return SHIFT_RIGHT(ARG, COUNT); + else + return SHIFT_LEFT(ARG, -COUNT); + end if; + end function "sra"; + + -- ============================================================================ + + -- Id: D.1 + function TO_INTEGER (ARG : UNSIGNED) return NATURAL is + constant ARG_LEFT : INTEGER := ARG'length-1; + alias XARG : UNSIGNED(ARG_LEFT downto 0) is ARG; + variable RESULT : NATURAL := 0; + begin + if (ARG'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.TO_INTEGER: null detected, returning 0" + severity warning; + return 0; + end if; + for I in XARG'range loop + RESULT := RESULT+RESULT; + if XARG(I) = '1' then + RESULT := RESULT + 1; + end if; + end loop; + return RESULT; + end function TO_INTEGER; + + -- Id: D.2 + function TO_INTEGER (ARG : SIGNED) return INTEGER is + begin + if (ARG'length < 1) then + assert NO_WARNING + report "NUMERIC_BIT.TO_INTEGER: null detected, returning 0" + severity warning; + return 0; + end if; + if ARG(ARG'left) = '0' then + return TO_INTEGER(UNSIGNED(ARG)); + else + return (- (TO_INTEGER(UNSIGNED(- (ARG + 1)))) -1); + end if; + end function TO_INTEGER; + + -- Id: D.3 + function TO_UNSIGNED (ARG, SIZE : NATURAL) return UNSIGNED is + variable RESULT : UNSIGNED(SIZE-1 downto 0); + variable I_VAL : NATURAL := ARG; + begin + if (SIZE < 1) then return NAU; + end if; + for I in 0 to RESULT'left loop + if (I_VAL mod 2) = 0 then + RESULT(I) := '0'; + else RESULT(I) := '1'; + end if; + I_VAL := I_VAL/2; + end loop; + if not(I_VAL = 0) then + assert NO_WARNING + report "NUMERIC_BIT.TO_UNSIGNED: vector truncated" + severity warning; + end if; + return RESULT; + end function TO_UNSIGNED; + + -- Id: D.4 + function TO_SIGNED (ARG : INTEGER; + SIZE : NATURAL) return SIGNED is + variable RESULT : SIGNED(SIZE-1 downto 0); + variable B_VAL : BIT := '0'; + variable I_VAL : INTEGER := ARG; + begin + if (SIZE < 1) then return NAS; + end if; + if (ARG < 0) then + B_VAL := '1'; + I_VAL := -(ARG+1); + end if; + for I in 0 to RESULT'left loop + if (I_VAL mod 2) = 0 then + RESULT(I) := B_VAL; + else + RESULT(I) := not B_VAL; + end if; + I_VAL := I_VAL/2; + end loop; + if ((I_VAL /= 0) or (B_VAL /= RESULT(RESULT'left))) then + assert NO_WARNING + report "NUMERIC_BIT.TO_SIGNED: vector truncated" + severity warning; + end if; + return RESULT; + end function TO_SIGNED; + + function TO_UNSIGNED (ARG : NATURAL; SIZE_RES : UNSIGNED) + return UNSIGNED is + begin + return TO_UNSIGNED (ARG => ARG, + SIZE => SIZE_RES'length); + end function TO_UNSIGNED; + + function TO_SIGNED (ARG : INTEGER; SIZE_RES : SIGNED) + return SIGNED is + begin + return TO_SIGNED (ARG => ARG, + SIZE => SIZE_RES'length); + end function TO_SIGNED; + + -- ============================================================================ + + -- Id: R.1 + function RESIZE (ARG : SIGNED; NEW_SIZE : NATURAL) return SIGNED is + alias INVEC : SIGNED(ARG'length-1 downto 0) is ARG; + variable RESULT : SIGNED(NEW_SIZE-1 downto 0) := (others => '0'); + constant BOUND : INTEGER := MINIMUM(ARG'length, RESULT'length)-2; + begin + if (NEW_SIZE < 1) then return NAS; + end if; + if (ARG'length = 0) then return RESULT; + end if; + RESULT := (others => ARG(ARG'left)); + if BOUND >= 0 then + RESULT(BOUND downto 0) := INVEC(BOUND downto 0); + end if; + return RESULT; + end function RESIZE; + + -- Id: R.2 + function RESIZE (ARG : UNSIGNED; NEW_SIZE : NATURAL) return UNSIGNED is + constant ARG_LEFT : INTEGER := ARG'length-1; + alias XARG : UNSIGNED(ARG_LEFT downto 0) is ARG; + variable RESULT : UNSIGNED(NEW_SIZE-1 downto 0) := (others => '0'); + begin + if (NEW_SIZE < 1) then return NAU; + end if; + if XARG'length = 0 then return RESULT; + end if; + if (RESULT'length < ARG'length) then + RESULT(RESULT'left downto 0) := XARG(RESULT'left downto 0); + else + RESULT(RESULT'left downto XARG'left+1) := (others => '0'); + RESULT(XARG'left downto 0) := XARG; + end if; + return RESULT; + end function RESIZE; + + function RESIZE (ARG, SIZE_RES : UNSIGNED) + return UNSIGNED is + begin + return RESIZE (ARG => ARG, + NEW_SIZE => SIZE_RES'length); + end function RESIZE; + + function RESIZE (ARG, SIZE_RES : SIGNED) + return SIGNED is + begin + return RESIZE (ARG => ARG, + NEW_SIZE => SIZE_RES'length); + end function RESIZE; + + -- ============================================================================ + + -- Id: L.1 + function "not" (L : UNSIGNED) return UNSIGNED is + variable RESULT : UNSIGNED(L'length-1 downto 0); + begin + RESULT := UNSIGNED(not(BIT_VECTOR(L))); + return RESULT; + end function "not"; + + -- Id: L.2 + function "and" (L, R : UNSIGNED) return UNSIGNED is + variable RESULT : UNSIGNED(L'length-1 downto 0); + begin + RESULT := UNSIGNED(BIT_VECTOR(L) and BIT_VECTOR(R)); + return RESULT; + end function "and"; + + -- Id: L.3 + function "or" (L, R : UNSIGNED) return UNSIGNED is + variable RESULT : UNSIGNED(L'length-1 downto 0); + begin + RESULT := UNSIGNED(BIT_VECTOR(L) or BIT_VECTOR(R)); + return RESULT; + end function "or"; + + -- Id: L.4 + function "nand" (L, R : UNSIGNED) return UNSIGNED is + variable RESULT : UNSIGNED(L'length-1 downto 0); + begin + RESULT := UNSIGNED(BIT_VECTOR(L) nand BIT_VECTOR(R)); + return RESULT; + end function "nand"; + + -- Id: L.5 + function "nor" (L, R : UNSIGNED) return UNSIGNED is + variable RESULT : UNSIGNED(L'length-1 downto 0); + begin + RESULT := UNSIGNED(BIT_VECTOR(L) nor BIT_VECTOR(R)); + return RESULT; + end function "nor"; + + -- Id: L.6 + function "xor" (L, R : UNSIGNED) return UNSIGNED is + variable RESULT : UNSIGNED(L'length-1 downto 0); + begin + RESULT := UNSIGNED(BIT_VECTOR(L) xor BIT_VECTOR(R)); + return RESULT; + end function "xor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.7 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: L.7 + function "xnor" (L, R : UNSIGNED) return UNSIGNED is + variable RESULT : UNSIGNED(L'length-1 downto 0); + begin + RESULT := UNSIGNED(BIT_VECTOR(L) xnor BIT_VECTOR(R)); + return RESULT; + end function "xnor"; + + -- Id: L.8 + function "not" (L : SIGNED) return SIGNED is + variable RESULT : SIGNED(L'length-1 downto 0); + begin + RESULT := SIGNED(not(BIT_VECTOR(L))); + return RESULT; + end function "not"; + + -- Id: L.9 + function "and" (L, R : SIGNED) return SIGNED is + variable RESULT : SIGNED(L'length-1 downto 0); + begin + RESULT := SIGNED(BIT_VECTOR(L) and BIT_VECTOR(R)); + return RESULT; + end function "and"; + + -- Id: L.10 + function "or" (L, R : SIGNED) return SIGNED is + variable RESULT : SIGNED(L'length-1 downto 0); + begin + RESULT := SIGNED(BIT_VECTOR(L) or BIT_VECTOR(R)); + return RESULT; + end function "or"; + + -- Id: L.11 + function "nand" (L, R : SIGNED) return SIGNED is + variable RESULT : SIGNED(L'length-1 downto 0); + begin + RESULT := SIGNED(BIT_VECTOR(L) nand BIT_VECTOR(R)); + return RESULT; + end function "nand"; + + -- Id: L.12 + function "nor" (L, R : SIGNED) return SIGNED is + variable RESULT : SIGNED(L'length-1 downto 0); + begin + RESULT := SIGNED(BIT_VECTOR(L) nor BIT_VECTOR(R)); + return RESULT; + end function "nor"; + + -- Id: L.13 + function "xor" (L, R : SIGNED) return SIGNED is + variable RESULT : SIGNED(L'length-1 downto 0); + begin + RESULT := SIGNED(BIT_VECTOR(L) xor BIT_VECTOR(R)); + return RESULT; + end function "xor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.14 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: L.14 + function "xnor" (L, R : SIGNED) return SIGNED is + variable RESULT : SIGNED(L'length-1 downto 0); + begin + RESULT := SIGNED(BIT_VECTOR(L) xnor BIT_VECTOR(R)); + return RESULT; + end function "xnor"; + + -- Id: L.15 + function "and" (L : BIT; R : UNSIGNED) return UNSIGNED is + begin + return UNSIGNED (L and BIT_VECTOR(R)); + end function "and"; + + -- Id: L.16 + function "and" (L : UNSIGNED; R : BIT) return UNSIGNED is + begin + return UNSIGNED (BIT_VECTOR(L) and R); + end function "and"; + + -- Id: L.17 + function "or" (L : BIT; R : UNSIGNED) return UNSIGNED is + begin + return UNSIGNED (L or BIT_VECTOR(R)); + end function "or"; + + -- Id: L.18 + function "or" (L : UNSIGNED; R : BIT) return UNSIGNED is + begin + return UNSIGNED (BIT_VECTOR(L) or R); + end function "or"; + + -- Id: L.19 + function "nand" (L : BIT; R : UNSIGNED) return UNSIGNED is + begin + return UNSIGNED (L nand BIT_VECTOR(R)); + end function "nand"; + + -- Id: L.20 + function "nand" (L : UNSIGNED; R : BIT) return UNSIGNED is + begin + return UNSIGNED (BIT_VECTOR(L) nand R); + end function "nand"; + + -- Id: L.21 + function "nor" (L : BIT; R : UNSIGNED) return UNSIGNED is + begin + return UNSIGNED (L nor BIT_VECTOR(R)); + end function "nor"; + + -- Id: L.22 + function "nor" (L : UNSIGNED; R : BIT) return UNSIGNED is + begin + return UNSIGNED (BIT_VECTOR(L) nor R); + end function "nor"; + + -- Id: L.23 + function "xor" (L : BIT; R : UNSIGNED) return UNSIGNED is + begin + return UNSIGNED (L xor BIT_VECTOR(R)); + end function "xor"; + + -- Id: L.24 + function "xor" (L : UNSIGNED; R : BIT) return UNSIGNED is + begin + return UNSIGNED (BIT_VECTOR(L) xor R); + end function "xor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.25 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: L.25 + function "xnor" (L : BIT; R : UNSIGNED) return UNSIGNED is + begin + return UNSIGNED (L xnor BIT_VECTOR(R)); + end function "xnor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.26 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: L.26 + function "xnor" (L : UNSIGNED; R : BIT) return UNSIGNED is + begin + return UNSIGNED (BIT_VECTOR(L) xnor R); + end function "xnor"; + + -- Id: L.27 + function "and" (L : BIT; R : SIGNED) return SIGNED is + begin + return SIGNED (L and BIT_VECTOR(R)); + end function "and"; + + -- Id: L.28 + function "and" (L : SIGNED; R : BIT) return SIGNED is + begin + return SIGNED (BIT_VECTOR(L) and R); + end function "and"; + + -- Id: L.29 + function "or" (L : BIT; R : SIGNED) return SIGNED is + begin + return SIGNED (L or BIT_VECTOR(R)); + end function "or"; + + -- Id: L.30 + function "or" (L : SIGNED; R : BIT) return SIGNED is + begin + return SIGNED (BIT_VECTOR(L) or R); + end function "or"; + + -- Id: L.31 + function "nand" (L : BIT; R : SIGNED) return SIGNED is + begin + return SIGNED (L nand BIT_VECTOR(R)); + end function "nand"; + + -- Id: L.32 + function "nand" (L : SIGNED; R : BIT) return SIGNED is + begin + return SIGNED (BIT_VECTOR(L) nand R); + end function "nand"; + + -- Id: L.33 + function "nor" (L : BIT; R : SIGNED) return SIGNED is + begin + return SIGNED (L nor BIT_VECTOR(R)); + end function "nor"; + + -- Id: L.34 + function "nor" (L : SIGNED; R : BIT) return SIGNED is + begin + return SIGNED (BIT_VECTOR(L) nor R); + end function "nor"; + + -- Id: L.35 + function "xor" (L : BIT; R : SIGNED) return SIGNED is + begin + return SIGNED (L xor BIT_VECTOR(R)); + end function "xor"; + + -- Id: L.36 + function "xor" (L : SIGNED; R : BIT) return SIGNED is + begin + return SIGNED (BIT_VECTOR(L) xor R); + end function "xor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.37 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: L.37 + function "xnor" (L : BIT; R : SIGNED) return SIGNED is + begin + return SIGNED (L xnor BIT_VECTOR(R)); + end function "xnor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.38 is not compatible with IEEE Std 1076-1987. Comment + -- out the function (declaration and body) for IEEE Std 1076-1987 compatibility. + ------------------------------------------------------------------------------ + -- Id: L.38 + function "xnor" (L : SIGNED; R : BIT) return SIGNED is + begin + return SIGNED (BIT_VECTOR(L) xnor R); + end function "xnor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.39 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.39 + function "and" (L : SIGNED) return BIT is + begin + return and (BIT_VECTOR (L)); + end function "and"; + + ------------------------------------------------------------------------------ + -- Note: Function L.40 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.40 + function "and" (L : UNSIGNED) return BIT is + begin + return and (BIT_VECTOR (L)); + end function "and"; + + ------------------------------------------------------------------------------ + -- Note: Function L.41 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.41 + function "nand" (L : SIGNED) return BIT is + begin + return nand (BIT_VECTOR (L)); + end function "nand"; + + ------------------------------------------------------------------------------ + -- Note: Function L.42 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.42 + function "nand" (L : UNSIGNED) return BIT is + begin + return nand (BIT_VECTOR (L)); + end function "nand"; + + ------------------------------------------------------------------------------ + -- Note: Function L.43 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.43 + function "or" (L : SIGNED) return BIT is + begin + return or (BIT_VECTOR (L)); + end function "or"; + + ------------------------------------------------------------------------------ + -- Note: Function L.44 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.44 + function "or" (L : UNSIGNED) return BIT is + begin + return or (BIT_VECTOR (L)); + end function "or"; + + ------------------------------------------------------------------------------ + -- Note: Function L.45 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.45 + function "nor" (L : SIGNED) return BIT is + begin + return nor (BIT_VECTOR (L)); + end function "nor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.46 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.46 + function "nor" (L : UNSIGNED) return BIT is + begin + return nor (BIT_VECTOR (L)); + end function "nor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.47 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.47 + function "xor" (L : SIGNED) return BIT is + begin + return xor (BIT_VECTOR (L)); + end function "xor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.48 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.48 + function "xor" (L : UNSIGNED) return BIT is + begin + return xor (BIT_VECTOR (L)); + end function "xor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.49 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.49 + function "xnor" (L : SIGNED) return BIT is + begin + return xnor (BIT_VECTOR (L)); + end function "xnor"; + + ------------------------------------------------------------------------------ + -- Note: Function L.50 is not compatible with editions of IEEE Std 1076 from + -- 1987 through 2002. Comment out the function (declaration and body) for + -- compatibility with these editions. + ------------------------------------------------------------------------------ + -- Id: L.50 + function "xnor" (L : UNSIGNED) return BIT is + begin + return xnor (BIT_VECTOR (L)); + end function "xnor"; + + -- ============================================================================ + -- string conversion and write operations + -- ============================================================================ + function to_ostring (value : UNSIGNED) return STRING is + begin + return to_ostring(BIT_VECTOR (value)); + end function to_ostring; + + function to_ostring (value : SIGNED) return STRING is + constant result_length : INTEGER := (value'length+2)/3; + constant pad : BIT_VECTOR(1 to (result_length*3 - value'length)) + := (others => value (value'left)); -- Extend sign bit + begin + return to_ostring(pad & BIT_VECTOR (value)); + end function to_ostring; + + function to_hstring (value : UNSIGNED) return STRING is + begin + return to_hstring(BIT_VECTOR (value)); + end function to_hstring; + + function to_hstring (value : SIGNED) return STRING is + constant result_length : INTEGER := (value'length+3)/4; + constant pad : BIT_VECTOR(1 to (result_length*4 - value'length)) + := (others => value (value'left)); -- Extend sign bit + begin + return to_hstring(pad & BIT_VECTOR (value)); + end function to_hstring; + + procedure READ(L : inout LINE; VALUE : out UNSIGNED; GOOD : out BOOLEAN) is + variable ivalue : BIT_VECTOR(value'range); + begin + READ (L => L, + VALUE => ivalue, + GOOD => GOOD); + VALUE := UNSIGNED(ivalue); + end procedure READ; + + procedure READ(L : inout LINE; VALUE : out UNSIGNED) is + variable ivalue : BIT_VECTOR(value'range); + begin + READ (L => L, + VALUE => ivalue); + VALUE := UNSIGNED (ivalue); + end procedure READ; + + procedure READ(L : inout LINE; VALUE : out SIGNED; GOOD : out BOOLEAN) is + variable ivalue : BIT_VECTOR(value'range); + begin + READ (L => L, + VALUE => ivalue, + GOOD => GOOD); + VALUE := SIGNED(ivalue); + end procedure READ; + + procedure READ(L : inout LINE; VALUE : out SIGNED) is + variable ivalue : BIT_VECTOR(value'range); + begin + READ (L => L, + VALUE => ivalue); + VALUE := SIGNED (ivalue); + end procedure READ; + + procedure WRITE (L : inout LINE; VALUE : in UNSIGNED; + JUSTIFIED : in SIDE := right; FIELD : in WIDTH := 0) is + variable ivalue : BIT_VECTOR(value'range); + begin + ivalue := BIT_VECTOR (VALUE); + WRITE (L => L, + VALUE => ivalue, + JUSTIFIED => JUSTIFIED, + FIELD => FIELD); + end procedure WRITE; + + procedure WRITE (L : inout LINE; VALUE : in SIGNED; + JUSTIFIED : in SIDE := right; FIELD : in WIDTH := 0) is + variable ivalue : BIT_VECTOR(value'range); + begin + ivalue := BIT_VECTOR (VALUE); + WRITE (L => L, + VALUE => ivalue, + JUSTIFIED => JUSTIFIED, + FIELD => FIELD); + end procedure WRITE; + + procedure OREAD (L : inout LINE; VALUE : out UNSIGNED; GOOD : out BOOLEAN) is + variable ivalue : BIT_VECTOR(value'range); + begin + OREAD (L => L, + VALUE => ivalue, + GOOD => GOOD); + VALUE := UNSIGNED(ivalue); + end procedure OREAD; + + procedure OREAD (L : inout LINE; VALUE : out SIGNED; GOOD : out BOOLEAN) is + constant ne : INTEGER := (value'length+2)/3; + constant pad : INTEGER := ne*3 - value'length; + variable ivalue : BIT_VECTOR(0 to ne*3-1); + variable ok : BOOLEAN; + begin + OREAD (L => L, + VALUE => ivalue, -- Read padded STRING + good => ok); + -- Bail out if there was a bad read + if not ok then + good := false; + return; + end if; + if (pad > 0) then + if (ivalue(0) = '0') then -- positive + if ivalue(0) = or (ivalue(0 to pad)) then + VALUE := SIGNED (ivalue (pad to ivalue'high)); + good := true; + else + good := false; + end if; + else -- negative + if ivalue(0) = and (ivalue(0 to pad)) then + VALUE := SIGNED (ivalue (pad to ivalue'high)); + good := true; + else + good := false; + end if; + end if; + else + good := true; + VALUE := SIGNED (ivalue); + end if; + end procedure OREAD; + + procedure OREAD (L : inout LINE; VALUE : out UNSIGNED) is + variable ivalue : BIT_VECTOR(value'range); + begin + OREAD (L => L, + VALUE => ivalue); + VALUE := UNSIGNED (ivalue); + end procedure OREAD; + + procedure OREAD (L : inout LINE; VALUE : out SIGNED) is + constant ne : INTEGER := (value'length+2)/3; + constant pad : INTEGER := ne*3 - value'length; + variable ivalue : BIT_VECTOR(0 to ne*3-1); + begin + OREAD (L => L, + VALUE => ivalue); -- Read padded string + if (pad > 0) then + if (ivalue(0) = '0') then -- positive + if ivalue(0) = or (ivalue(0 to pad)) then + VALUE := SIGNED (ivalue (pad to ivalue'high)); + else + assert false + report "NUMERIC_BIT.OREAD Error: Signed vector truncated" + severity error; + end if; + else -- negative + if ivalue(0) = and (ivalue(0 to pad)) then + VALUE := SIGNED (ivalue (pad to ivalue'high)); + else + assert false + report "NUMERIC_BIT.OREAD Error: Signed vector truncated" + severity error; + end if; + end if; + else + VALUE := SIGNED (ivalue); + end if; + end procedure OREAD; + + procedure HREAD (L : inout LINE; VALUE : out UNSIGNED; GOOD : out BOOLEAN) is + variable ivalue : BIT_VECTOR(value'range); + begin + HREAD (L => L, + VALUE => ivalue, + GOOD => GOOD); + VALUE := UNSIGNED(ivalue); + end procedure HREAD; + + procedure HREAD (L : inout LINE; VALUE : out SIGNED; GOOD : out BOOLEAN) is + constant ne : INTEGER := (value'length+3)/4; + constant pad : INTEGER := ne*4 - value'length; + variable ivalue : BIT_VECTOR(0 to ne*4-1); + variable ok : BOOLEAN; + begin + HREAD (L => L, + VALUE => ivalue, -- Read padded STRING + good => ok); + if not ok then + good := false; + return; + end if; + if (pad > 0) then + if (ivalue(0) = '0') then -- positive + if ivalue(0) = or (ivalue(0 to pad)) then + GOOD := true; + VALUE := SIGNED (ivalue (pad to ivalue'high)); + else + GOOD := false; + end if; + else -- negative + if ivalue(0) = and (ivalue(0 to pad)) then + GOOD := true; + VALUE := SIGNED (ivalue (pad to ivalue'high)); + else + GOOD := false; + end if; + end if; + else + GOOD := true; + VALUE := SIGNED (ivalue); + end if; + end procedure HREAD; + + procedure HREAD (L : inout LINE; VALUE : out UNSIGNED) is + variable ivalue : BIT_VECTOR(value'range); + begin + HREAD (L => L, + VALUE => ivalue); + VALUE := UNSIGNED (ivalue); + end procedure HREAD; + + procedure HREAD (L : inout LINE; VALUE : out SIGNED) is + constant ne : INTEGER := (value'length+3)/4; + constant pad : INTEGER := ne*4 - value'length; + variable ivalue : BIT_VECTOR(0 to ne*4-1); + begin + HREAD (L => L, + VALUE => ivalue); -- Read padded string + if (pad > 0) then + if (ivalue(0) = '0') then -- positive + if ivalue(0) = or (ivalue(0 to pad)) then + VALUE := SIGNED (ivalue (pad to ivalue'high)); + else + assert false + report "NUMERIC_BIT.HREAD Error: Signed vector truncated" + severity error; + end if; + else -- negative + if ivalue(0) = and (ivalue(0 to pad)) then + VALUE := SIGNED (ivalue (pad to ivalue'high)); + else + assert false + report "NUMERIC_BIT.HREAD Error: Signed vector truncated" + severity error; + end if; + end if; + else + VALUE := SIGNED (ivalue); + end if; + end procedure HREAD; + + procedure OWRITE (L : inout LINE; VALUE : in UNSIGNED; + JUSTIFIED : in SIDE := right; FIELD : in WIDTH := 0) is + variable ivalue : BIT_VECTOR(value'range); + begin + ivalue := BIT_VECTOR (VALUE); + OWRITE (L => L, + VALUE => ivalue, + JUSTIFIED => JUSTIFIED, + FIELD => FIELD); + end procedure OWRITE; + + procedure OWRITE (L : inout LINE; VALUE : in SIGNED; + JUSTIFIED : in SIDE := right; FIELD : in WIDTH := 0) is + constant ne : INTEGER := (VALUE'length+2)/3; + constant pad : BIT_VECTOR(0 to (ne*3 - VALUE'length) - 1) + := (others => VALUE (VALUE'left)); + variable ivalue : BIT_VECTOR(value'range); + begin + ivalue := BIT_VECTOR (VALUE); + OWRITE (L => L, + VALUE => pad & ivalue, + JUSTIFIED => JUSTIFIED, + FIELD => FIELD); + end procedure OWRITE; + + procedure HWRITE (L : inout LINE; VALUE : in UNSIGNED; + JUSTIFIED : in SIDE := right; FIELD : in WIDTH := 0) is + variable ivalue : BIT_VECTOR(value'range); + begin + ivalue := BIT_VECTOR (VALUE); + HWRITE (L => L, + VALUE => ivalue, + JUSTIFIED => JUSTIFIED, + FIELD => FIELD); + end procedure HWRITE; + + procedure HWRITE (L : inout LINE; VALUE : in SIGNED; + JUSTIFIED : in SIDE := right; FIELD : in WIDTH := 0) is + variable ivalue : BIT_VECTOR(value'range); + constant ne : INTEGER := (value'length+3)/4; + constant pad : BIT_VECTOR(0 to (ne*4 - value'length) - 1) + := (others => VALUE(VALUE'left)); + begin + ivalue := BIT_VECTOR (VALUE); + HWRITE (L => L, + VALUE => pad & ivalue, + JUSTIFIED => JUSTIFIED, + FIELD => FIELD); + end procedure HWRITE; + +end package body NUMERIC_BIT; |