1 files changed, 595 insertions, 592 deletions
diff --git a/libraries/ieee2008/numeric_std_unsigned-body.vhdl b/libraries/ieee2008/numeric_std_unsigned-body.vhdl
index cb01bc0f1..32a652920 100644
--- a/libraries/ieee2008/numeric_std_unsigned-body.vhdl
+++ b/libraries/ieee2008/numeric_std_unsigned-body.vhdl
@@ -1,592 +1,595 @@
--- --------------------------------------------------------------------
---
--- 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_STD_UNSIGNED package body)
---             :
---   Library   :  This package shall be compiled into a library
---             :  symbolically named IEEE.
---             :
---   Developers:  Accellera VHDL-TC, and IEEE P1076 Working Group
---             :
---   Purpose   :  This package defines numeric types and arithmetic functions
---             :  for use with synthesis tools. Values of type STD_ULOGIC_VECTOR
---             :  are interpreted as unsigned numbers in vector form.
---             :  The leftmost bit is treated as the most significant bit.
---             :  This package contains overloaded arithmetic operators on
---             :  the STD_ULOGIC_VECTOR type. 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) $
--- --------------------------------------------------------------------
-
-library ieee;
-use ieee.numeric_std.all;
-
-package body NUMERIC_STD_UNSIGNED is
-
-  -- Id: A.3
-  function "+" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) + UNSIGNED(R));
-  end function "+";
-
-  -- Id: A.3R
-  function "+"(L : STD_ULOGIC_VECTOR; R : STD_ULOGIC) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) + R);
-  end function "+";
-
-  -- Id: A.3L
-  function "+"(L : STD_ULOGIC; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L + UNSIGNED(R));
-  end function "+";
-
-  -- Id: A.5
-  function "+" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) + R);
-  end function "+";
-
-  -- Id: A.6
-  function "+" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L + UNSIGNED(R));
-  end function "+";
-
-  --============================================================================
-
-  -- Id: A.9
-  function "-" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) - UNSIGNED(R));
-  end function "-";
-
-  -- Id: A.9R
-  function "-"(L : STD_ULOGIC_VECTOR; R : STD_ULOGIC) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) - R);
-  end function "-";
-
-  -- Id: A.9L
-  function "-"(L : STD_ULOGIC; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L - UNSIGNED(R));
-  end function "-";
-
-  -- Id: A.11
-  function "-" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) - R);
-  end function "-";
-
-  -- Id: A.12
-  function "-" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L - UNSIGNED(R));
-  end function "-";
-
-  --============================================================================
-
-  -- Id: A.15
-  function "*" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) * UNSIGNED(R));
-  end function "*";
-
-  -- Id: A.17
-  function "*" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) * R);
-  end function "*";
-
-  -- Id: A.18
-  function "*" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L * UNSIGNED(R));
-  end function "*";
-
-  --============================================================================
-
-  -- Id: A.21
-  function "/" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) / UNSIGNED(R));
-  end function "/";
-
-  -- Id: A.23
-  function "/" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) / R);
-  end function "/";
-
-  -- Id: A.24
-  function "/" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L / UNSIGNED(R));
-  end function "/";
-
-  --============================================================================
-
-  -- Id: A.27
-  function "rem" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) rem UNSIGNED(R));
-  end function "rem";
-
-  -- Id: A.29
-  function "rem" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) rem R);
-  end function "rem";
-
-  -- Id: A.30
-  function "rem" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L rem UNSIGNED(R));
-  end function "rem";
-
-  --============================================================================
-
-  -- Id: A.33
-  function "mod" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) mod UNSIGNED(R));
-  end function "mod";
-
-  -- Id: A.35
-  function "mod" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(L) mod R);
-  end function "mod";
-
-  -- Id: A.36
-  function "mod" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (L mod UNSIGNED(R));
-  end function "mod";
-
-  --============================================================================
-  -- Id: A.39
-  function find_leftmost (ARG: STD_ULOGIC_VECTOR; Y: STD_ULOGIC) return INTEGER is
-  begin
-    return find_leftmost(UNSIGNED(ARG), Y);
-  end function find_leftmost;
-
-  -- Id: A.41
-  function find_rightmost (ARG: STD_ULOGIC_VECTOR; Y: STD_ULOGIC) return INTEGER is
-  begin
-    return find_rightmost(UNSIGNED(ARG), Y);
-  end function find_rightmost;
-
-  --============================================================================
-
-  -- Id: C.1
-  function ">" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return UNSIGNED(L) > UNSIGNED(R);
-  end function ">";
-
-  -- Id: C.3
-  function ">" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return L > UNSIGNED(R);
-  end function ">";
-
-  -- Id: C.5
-  function ">" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
-  begin
-    return UNSIGNED(L) > R;
-  end function ">";
-
-  --============================================================================
-
-  -- Id: C.7
-  function "<" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return UNSIGNED(L) < UNSIGNED(R);
-  end function "<";
-
-  -- Id: C.9
-  function "<" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return L < UNSIGNED(R);
-  end function "<";
-
-  -- Id: C.11
-  function "<" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
-  begin
-    return UNSIGNED(L) < R;
-  end function "<";
-
-  --============================================================================
-
-  -- Id: C.13
-  function "<=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return UNSIGNED(L) <= UNSIGNED(R);
-  end function "<=";
-
-  -- Id: C.15
-  function "<=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return L <= UNSIGNED(R);
-  end function "<=";
-
-  -- Id: C.17
-  function "<=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
-  begin
-    return UNSIGNED(L) <= R;
-  end function "<=";
-
-  --============================================================================
-
-  -- Id: C.19
-  function ">=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return UNSIGNED(L) >= UNSIGNED(R);
-  end function ">=";
-
-  -- Id: C.21
-  function ">=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return L >= UNSIGNED(R);
-  end function ">=";
-
-  -- Id: C.23
-  function ">=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
-  begin
-    return UNSIGNED(L) >= R;
-  end function ">=";
-
-  --============================================================================
-
-  -- Id: C.25
-  function "=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return UNSIGNED(L) = UNSIGNED(R);
-  end function "=";
-
-  -- Id: C.27
-  function "=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return L = UNSIGNED(R);
-  end function "=";
-
-  -- Id: C.29
-  function "=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
-  begin
-    return UNSIGNED(L) = R;
-  end function "=";
-
-  --============================================================================
-
-  -- Id: C.31
-  function "/=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return UNSIGNED(L) /= UNSIGNED(R);
-  end function "/=";
-
-  -- Id: C.33
-  function "/=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
-  begin
-    return L /= UNSIGNED(R);
-  end function "/=";
-
-  -- Id: C.35
-  function "/=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
-  begin
-    return UNSIGNED(L) /= R;
-  end function "/=";
-
-  --============================================================================
-
-  -- Id: C.37
-  function MINIMUM (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (MINIMUM(UNSIGNED(L), UNSIGNED(R)));
-  end function MINIMUM;
-
-  -- Id: C.39
-  function MINIMUM (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (MINIMUM(L, UNSIGNED(R)));
-  end function MINIMUM;
-
-  -- Id: C.41
-  function MINIMUM (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (MINIMUM(UNSIGNED(L), R));
-  end function MINIMUM;
-
-  --============================================================================
-  -- Id: C.43
-  function MAXIMUM (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (MAXIMUM(UNSIGNED(L), UNSIGNED(R)));
-  end function MAXIMUM;
-
-  -- Id: C.45
-  function MAXIMUM (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (MAXIMUM(L, UNSIGNED(R)));
-  end function MAXIMUM;
-
-  -- Id: C.47
-  function MAXIMUM (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (MAXIMUM(UNSIGNED(L), R));
-  end function MAXIMUM;
-
-  --============================================================================
-
-  -- Id: C.49
-  function "?>" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?> UNSIGNED(R);
-  end function "?>";
-
-  -- Id: C.51
-  function "?>" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return L ?> UNSIGNED(R);
-  end function "?>";
-
-  -- Id: C.53
-  function "?>" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?> R;
-  end function "?>";
-
-  --============================================================================
-
-  -- Id: C.55
-  function "?<" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?< UNSIGNED(R);
-  end function "?<";
-
-  -- Id: C.57
-  function "?<" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return L ?< UNSIGNED(R);
-  end function "?<";
-
-  -- Id: C.59
-  function "?<" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?< R;
-  end function "?<";
-
-  --============================================================================
-
-  -- Id: C.61
-  function "?<=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?<= UNSIGNED(R);
-  end function "?<=";
-
-  -- Id: C.63
-  function "?<=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return L ?<= UNSIGNED(R);
-  end function "?<=";
-
-  -- Id: C.65
-  function "?<=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?<= R;
-  end function "?<=";
-
-  --============================================================================
-
-  -- Id: C.67
-  function "?>=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?>= UNSIGNED(R);
-  end function "?>=";
-
-  -- Id: C.69
-  function "?>=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return L ?>= UNSIGNED(R);
-  end function "?>=";
-
-  -- Id: C.71
-  function "?>=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?>= R;
-  end function "?>=";
-
-  --============================================================================
-
-  -- Id: C.73
-  function "?=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?= UNSIGNED(R);
-  end function "?=";
-
-  -- Id: C.75
-  function "?=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return L ?= UNSIGNED(R);
-  end function "?=";
-
-  -- Id: C.77
-  function "?=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?= R;
-  end function "?=";
-
-  --============================================================================
-
-  -- Id: C.79
-  function "?/=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?/= UNSIGNED(R);
-  end function "?/=";
-
-  -- Id: C.81
-  function "?/=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
-  begin
-    return L ?/= UNSIGNED(R);
-  end function "?/=";
-
-  -- Id: C.83
-  function "?/=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
-  begin
-    return UNSIGNED(L) ?/= R;
-  end function "?/=";
-
-  --============================================================================
-
-  -- Id: S.1
-  function SHIFT_LEFT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return std_logic_vector (SHIFT_LEFT(unsigned(ARG), COUNT));
-  end function SHIFT_LEFT;
-
-  -- Id: S.2
-  function SHIFT_RIGHT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return std_logic_vector (SHIFT_RIGHT(unsigned(ARG), COUNT));
-  end function SHIFT_RIGHT;
-
-  --============================================================================
-
-  -- Id: S.5
-  function ROTATE_LEFT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return std_logic_vector (ROTATE_LEFT(unsigned(ARG), COUNT));
-  end function ROTATE_LEFT;
-
-  -- Id: S.6
-  function ROTATE_RIGHT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return std_logic_vector (ROTATE_RIGHT(unsigned(ARG), COUNT));
-  end function ROTATE_RIGHT;
-
-  --============================================================================
-
-  -- Id: S.17
-  function "sla" (ARG: STD_ULOGIC_VECTOR; COUNT: INTEGER)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(ARG) sla COUNT);
-  end function "sla";
-
-  -- Id: S.19
-  function "sra" (ARG: STD_ULOGIC_VECTOR; COUNT: INTEGER)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (UNSIGNED(ARG) sra COUNT);
-  end function "sra";
-
-  --============================================================================
-
-  -- Id: R.2
-  function RESIZE (ARG : STD_ULOGIC_VECTOR; NEW_SIZE : NATURAL)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (
-      RESIZE (ARG      => UNSIGNED(ARG),
-              NEW_SIZE => NEW_SIZE));
-  end function RESIZE;
-
-  function RESIZE (ARG, SIZE_RES : STD_ULOGIC_VECTOR)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (
-      RESIZE (ARG     => UNSIGNED(ARG),
-              NEW_SIZE => SIZE_RES'length));
-  end function RESIZE;
-
-  --============================================================================
-
-  -- Id: D.1
-  function TO_INTEGER (ARG : STD_ULOGIC_VECTOR) return NATURAL is
-  begin
-    return TO_INTEGER(UNSIGNED(ARG));
-  end function TO_INTEGER;
-
-  -- Id: D.3
-  function To_StdLogicVector (ARG, SIZE : NATURAL) return STD_LOGIC_VECTOR is
-  begin
-    return STD_LOGIC_VECTOR (TO_UNSIGNED(ARG  => ARG,
-                                         SIZE => SIZE));
-  end function To_StdLogicVector;
-
-  -- Id: D.5
-  function To_StdULogicVector (ARG, SIZE : NATURAL) return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (TO_UNSIGNED(ARG  => ARG,
-                                         SIZE => SIZE));
-  end function To_StdULogicVector;
-
-  function To_StdLogicVector (ARG : NATURAL; SIZE_RES : STD_ULOGIC_VECTOR)
-    return STD_LOGIC_VECTOR is
-  begin
-    return STD_LOGIC_VECTOR (TO_UNSIGNED (ARG  => ARG,
-                                          SIZE => SIZE_RES'length));
-  end function To_StdLogicVector;
-
-  function To_StdULogicVector (ARG : NATURAL; SIZE_RES : STD_ULOGIC_VECTOR)
-    return STD_ULOGIC_VECTOR is
-  begin
-    return STD_ULOGIC_VECTOR (TO_UNSIGNED (ARG  => ARG,
-                                           SIZE => SIZE_RES'length));
-  end function To_StdULogicVector;
-
-end package body NUMERIC_STD_UNSIGNED;
+-- -----------------------------------------------------------------
+-- 
+-- Copyright 2019 IEEE P1076 WG Authors
+-- 
+-- See the LICENSE file distributed with this work for copyright and
+-- licensing information and the AUTHORS file.
+-- 
+-- This file to you under the Apache License, Version 2.0 (the "License").
+-- You may obtain a copy of the License at
+-- 
+--     http://www.apache.org/licenses/LICENSE-2.0
+-- 
+-- Unless required by applicable law or agreed to in writing, software
+-- distributed under the License is distributed on an "AS IS" BASIS,
+-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+-- implied.  See the License for the specific language governing
+-- permissions and limitations under the License.
+--
+--   Title     :  Standard VHDL Synthesis Packages
+--             :  (NUMERIC_STD_UNSIGNED package body)
+--             :
+--   Library   :  This package shall be compiled into a library
+--             :  symbolically named IEEE.
+--             :
+--   Developers:  Accellera VHDL-TC, and IEEE P1076 Working Group
+--             :
+--   Purpose   :  This package defines numeric types and arithmetic functions
+--             :  for use with synthesis tools. Values of type STD_ULOGIC_VECTOR
+--             :  are interpreted as unsigned numbers in vector form.
+--             :  The leftmost bit is treated as the most significant bit.
+--             :  This package contains overloaded arithmetic operators on
+--             :  the STD_ULOGIC_VECTOR type. 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) $
+-- --------------------------------------------------------------------
+
+library ieee;
+use ieee.numeric_std.all;
+
+package body NUMERIC_STD_UNSIGNED is
+
+  -- Id: A.3
+  function "+" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) + UNSIGNED(R));
+  end function "+";
+
+  -- Id: A.3R
+  function "+"(L : STD_ULOGIC_VECTOR; R : STD_ULOGIC) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) + R);
+  end function "+";
+
+  -- Id: A.3L
+  function "+"(L : STD_ULOGIC; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L + UNSIGNED(R));
+  end function "+";
+
+  -- Id: A.5
+  function "+" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) + R);
+  end function "+";
+
+  -- Id: A.6
+  function "+" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L + UNSIGNED(R));
+  end function "+";
+
+  --============================================================================
+
+  -- Id: A.9
+  function "-" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) - UNSIGNED(R));
+  end function "-";
+
+  -- Id: A.9R
+  function "-"(L : STD_ULOGIC_VECTOR; R : STD_ULOGIC) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) - R);
+  end function "-";
+
+  -- Id: A.9L
+  function "-"(L : STD_ULOGIC; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L - UNSIGNED(R));
+  end function "-";
+
+  -- Id: A.11
+  function "-" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) - R);
+  end function "-";
+
+  -- Id: A.12
+  function "-" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L - UNSIGNED(R));
+  end function "-";
+
+  --============================================================================
+
+  -- Id: A.15
+  function "*" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) * UNSIGNED(R));
+  end function "*";
+
+  -- Id: A.17
+  function "*" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) * R);
+  end function "*";
+
+  -- Id: A.18
+  function "*" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L * UNSIGNED(R));
+  end function "*";
+
+  --============================================================================
+
+  -- Id: A.21
+  function "/" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) / UNSIGNED(R));
+  end function "/";
+
+  -- Id: A.23
+  function "/" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) / R);
+  end function "/";
+
+  -- Id: A.24
+  function "/" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L / UNSIGNED(R));
+  end function "/";
+
+  --============================================================================
+
+  -- Id: A.27
+  function "rem" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) rem UNSIGNED(R));
+  end function "rem";
+
+  -- Id: A.29
+  function "rem" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) rem R);
+  end function "rem";
+
+  -- Id: A.30
+  function "rem" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L rem UNSIGNED(R));
+  end function "rem";
+
+  --============================================================================
+
+  -- Id: A.33
+  function "mod" (L, R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) mod UNSIGNED(R));
+  end function "mod";
+
+  -- Id: A.35
+  function "mod" (L : STD_ULOGIC_VECTOR; R : NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(L) mod R);
+  end function "mod";
+
+  -- Id: A.36
+  function "mod" (L : NATURAL; R : STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (L mod UNSIGNED(R));
+  end function "mod";
+
+  --============================================================================
+  -- Id: A.39
+  function find_leftmost (ARG: STD_ULOGIC_VECTOR; Y: STD_ULOGIC) return INTEGER is
+  begin
+    return find_leftmost(UNSIGNED(ARG), Y);
+  end function find_leftmost;
+
+  -- Id: A.41
+  function find_rightmost (ARG: STD_ULOGIC_VECTOR; Y: STD_ULOGIC) return INTEGER is
+  begin
+    return find_rightmost(UNSIGNED(ARG), Y);
+  end function find_rightmost;
+
+  --============================================================================
+
+  -- Id: C.1
+  function ">" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return UNSIGNED(L) > UNSIGNED(R);
+  end function ">";
+
+  -- Id: C.3
+  function ">" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return L > UNSIGNED(R);
+  end function ">";
+
+  -- Id: C.5
+  function ">" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
+  begin
+    return UNSIGNED(L) > R;
+  end function ">";
+
+  --============================================================================
+
+  -- Id: C.7
+  function "<" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return UNSIGNED(L) < UNSIGNED(R);
+  end function "<";
+
+  -- Id: C.9
+  function "<" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return L < UNSIGNED(R);
+  end function "<";
+
+  -- Id: C.11
+  function "<" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
+  begin
+    return UNSIGNED(L) < R;
+  end function "<";
+
+  --============================================================================
+
+  -- Id: C.13
+  function "<=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return UNSIGNED(L) <= UNSIGNED(R);
+  end function "<=";
+
+  -- Id: C.15
+  function "<=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return L <= UNSIGNED(R);
+  end function "<=";
+
+  -- Id: C.17
+  function "<=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
+  begin
+    return UNSIGNED(L) <= R;
+  end function "<=";
+
+  --============================================================================
+
+  -- Id: C.19
+  function ">=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return UNSIGNED(L) >= UNSIGNED(R);
+  end function ">=";
+
+  -- Id: C.21
+  function ">=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return L >= UNSIGNED(R);
+  end function ">=";
+
+  -- Id: C.23
+  function ">=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
+  begin
+    return UNSIGNED(L) >= R;
+  end function ">=";
+
+  --============================================================================
+
+  -- Id: C.25
+  function "=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return UNSIGNED(L) = UNSIGNED(R);
+  end function "=";
+
+  -- Id: C.27
+  function "=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return L = UNSIGNED(R);
+  end function "=";
+
+  -- Id: C.29
+  function "=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
+  begin
+    return UNSIGNED(L) = R;
+  end function "=";
+
+  --============================================================================
+
+  -- Id: C.31
+  function "/=" (L, R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return UNSIGNED(L) /= UNSIGNED(R);
+  end function "/=";
+
+  -- Id: C.33
+  function "/=" (L : NATURAL; R : STD_ULOGIC_VECTOR) return BOOLEAN is
+  begin
+    return L /= UNSIGNED(R);
+  end function "/=";
+
+  -- Id: C.35
+  function "/=" (L : STD_ULOGIC_VECTOR; R : NATURAL) return BOOLEAN is
+  begin
+    return UNSIGNED(L) /= R;
+  end function "/=";
+
+  --============================================================================
+
+  -- Id: C.37
+  function MINIMUM (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (MINIMUM(UNSIGNED(L), UNSIGNED(R)));
+  end function MINIMUM;
+
+  -- Id: C.39
+  function MINIMUM (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (MINIMUM(L, UNSIGNED(R)));
+  end function MINIMUM;
+
+  -- Id: C.41
+  function MINIMUM (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (MINIMUM(UNSIGNED(L), R));
+  end function MINIMUM;
+
+  --============================================================================
+  -- Id: C.43
+  function MAXIMUM (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (MAXIMUM(UNSIGNED(L), UNSIGNED(R)));
+  end function MAXIMUM;
+
+  -- Id: C.45
+  function MAXIMUM (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (MAXIMUM(L, UNSIGNED(R)));
+  end function MAXIMUM;
+
+  -- Id: C.47
+  function MAXIMUM (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (MAXIMUM(UNSIGNED(L), R));
+  end function MAXIMUM;
+
+  --============================================================================
+
+  -- Id: C.49
+  function "?>" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?> UNSIGNED(R);
+  end function "?>";
+
+  -- Id: C.51
+  function "?>" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return L ?> UNSIGNED(R);
+  end function "?>";
+
+  -- Id: C.53
+  function "?>" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?> R;
+  end function "?>";
+
+  --============================================================================
+
+  -- Id: C.55
+  function "?<" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?< UNSIGNED(R);
+  end function "?<";
+
+  -- Id: C.57
+  function "?<" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return L ?< UNSIGNED(R);
+  end function "?<";
+
+  -- Id: C.59
+  function "?<" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?< R;
+  end function "?<";
+
+  --============================================================================
+
+  -- Id: C.61
+  function "?<=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?<= UNSIGNED(R);
+  end function "?<=";
+
+  -- Id: C.63
+  function "?<=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return L ?<= UNSIGNED(R);
+  end function "?<=";
+
+  -- Id: C.65
+  function "?<=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?<= R;
+  end function "?<=";
+
+  --============================================================================
+
+  -- Id: C.67
+  function "?>=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?>= UNSIGNED(R);
+  end function "?>=";
+
+  -- Id: C.69
+  function "?>=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return L ?>= UNSIGNED(R);
+  end function "?>=";
+
+  -- Id: C.71
+  function "?>=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?>= R;
+  end function "?>=";
+
+  --============================================================================
+
+  -- Id: C.73
+  function "?=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?= UNSIGNED(R);
+  end function "?=";
+
+  -- Id: C.75
+  function "?=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return L ?= UNSIGNED(R);
+  end function "?=";
+
+  -- Id: C.77
+  function "?=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?= R;
+  end function "?=";
+
+  --============================================================================
+
+  -- Id: C.79
+  function "?/=" (L, R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?/= UNSIGNED(R);
+  end function "?/=";
+
+  -- Id: C.81
+  function "?/=" (L: NATURAL; R: STD_ULOGIC_VECTOR) return STD_ULOGIC is
+  begin
+    return L ?/= UNSIGNED(R);
+  end function "?/=";
+
+  -- Id: C.83
+  function "?/=" (L: STD_ULOGIC_VECTOR; R: NATURAL) return STD_ULOGIC is
+  begin
+    return UNSIGNED(L) ?/= R;
+  end function "?/=";
+
+  --============================================================================
+
+  -- Id: S.1
+  function SHIFT_LEFT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return std_logic_vector (SHIFT_LEFT(unsigned(ARG), COUNT));
+  end function SHIFT_LEFT;
+
+  -- Id: S.2
+  function SHIFT_RIGHT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return std_logic_vector (SHIFT_RIGHT(unsigned(ARG), COUNT));
+  end function SHIFT_RIGHT;
+
+  --============================================================================
+
+  -- Id: S.5
+  function ROTATE_LEFT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return std_logic_vector (ROTATE_LEFT(unsigned(ARG), COUNT));
+  end function ROTATE_LEFT;
+
+  -- Id: S.6
+  function ROTATE_RIGHT (ARG : STD_ULOGIC_VECTOR; COUNT : NATURAL)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return std_logic_vector (ROTATE_RIGHT(unsigned(ARG), COUNT));
+  end function ROTATE_RIGHT;
+
+  --============================================================================
+
+  -- Id: S.17
+  function "sla" (ARG: STD_ULOGIC_VECTOR; COUNT: INTEGER)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(ARG) sla COUNT);
+  end function "sla";
+
+  -- Id: S.19
+  function "sra" (ARG: STD_ULOGIC_VECTOR; COUNT: INTEGER)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (UNSIGNED(ARG) sra COUNT);
+  end function "sra";
+
+  --============================================================================
+
+  -- Id: R.2
+  function RESIZE (ARG : STD_ULOGIC_VECTOR; NEW_SIZE : NATURAL)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (
+      RESIZE (ARG      => UNSIGNED(ARG),
+              NEW_SIZE => NEW_SIZE));
+  end function RESIZE;
+
+  function RESIZE (ARG, SIZE_RES : STD_ULOGIC_VECTOR)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (
+      RESIZE (ARG     => UNSIGNED(ARG),
+              NEW_SIZE => SIZE_RES'length));
+  end function RESIZE;
+
+  --============================================================================
+
+  -- Id: D.1
+  function TO_INTEGER (ARG : STD_ULOGIC_VECTOR) return NATURAL is
+  begin
+    return TO_INTEGER(UNSIGNED(ARG));
+  end function TO_INTEGER;
+
+  -- Id: D.3
+  function To_StdLogicVector (ARG, SIZE : NATURAL) return STD_LOGIC_VECTOR is
+  begin
+    return STD_LOGIC_VECTOR (TO_UNSIGNED(ARG  => ARG,
+                                         SIZE => SIZE));
+  end function To_StdLogicVector;
+
+  -- Id: D.5
+  function To_StdULogicVector (ARG, SIZE : NATURAL) return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (TO_UNSIGNED(ARG  => ARG,
+                                         SIZE => SIZE));
+  end function To_StdULogicVector;
+
+  function To_StdLogicVector (ARG : NATURAL; SIZE_RES : STD_ULOGIC_VECTOR)
+    return STD_LOGIC_VECTOR is
+  begin
+    return STD_LOGIC_VECTOR (TO_UNSIGNED (ARG  => ARG,
+                                          SIZE => SIZE_RES'length));
+  end function To_StdLogicVector;
+
+  function To_StdULogicVector (ARG : NATURAL; SIZE_RES : STD_ULOGIC_VECTOR)
+    return STD_ULOGIC_VECTOR is
+  begin
+    return STD_ULOGIC_VECTOR (TO_UNSIGNED (ARG  => ARG,
+                                           SIZE => SIZE_RES'length));
+  end function To_StdULogicVector;
+
+end package body NUMERIC_STD_UNSIGNED;