3 files changed, 47 insertions, 1 deletions
diff --git a/libraries/Makefile.inc b/libraries/Makefile.inc
index f8a0f09d7..098cd51f7 100644
--- a/libraries/Makefile.inc
+++ b/libraries/Makefile.inc
@@ -82,7 +82,8 @@ IEEE93_BSRCS := $(addprefix ieee/v93/,$(IEEE_SRCS)) $(addprefix ieee/,$(MATH_SRC
 else
 IEEE_SRCS := std_logic_1164.vhdl std_logic_1164-body.vhdl \
   numeric_bit.vhdl numeric_bit-body.vhdl \
-  numeric_std.vhdl numeric_std-body.vhdl
+  numeric_std.vhdl numeric_std-body.vhdl \
+  upf.vhdl upf-body.vhdl
 MATH_SRCS := math_real.vhdl math_real-body.vhdl
 VITAL95_BSRCS :=
 VITAL2000_BSRCS :=
diff --git a/libraries/openieee/upf-body.vhdl b/libraries/openieee/upf-body.vhdl
new file mode 100644
index 000000000..039299bfc
--- /dev/null
+++ b/libraries/openieee/upf-body.vhdl
@@ -0,0 +1,26 @@
+package body upf is
+
+  function supply_on (
+    constant supply_name : string;
+    constant voltage     : real)
+    return boolean is
+  begin
+    return true;
+  end supply_on;
+
+  function supply_partial_on (
+    constant supply_name : string;
+    constant voltage     : real)
+    return boolean is
+  begin
+    return true;
+  end supply_partial_on;
+
+  function supply_off (
+    constant supply_name : string)
+    return boolean is
+  begin
+    return true;
+  end supply_off;
+
+end upf;
diff --git a/libraries/openieee/upf.vhdl b/libraries/openieee/upf.vhdl
new file mode 100644
index 000000000..974798331
--- /dev/null
+++ b/libraries/openieee/upf.vhdl
@@ -0,0 +1,19 @@
+-- modelled according to IEEE Std 1801-2015, 11.2
+
+package upf is
+
+  function supply_on (
+    constant supply_name : string;
+    constant voltage     : real)
+    return boolean;
+
+  function supply_partial_on (
+    constant supply_name : string;
+    constant voltage     : real)
+    return boolean;
+
+  function supply_off (
+    constant supply_name : string)
+    return boolean;
+
+end upf;