summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--testsuite/gna/ticket30/lib_numeric_tb.sdf18
-rw-r--r--testsuite/gna/ticket30/lib_numeric_tb.vhd30
-rwxr-xr-xtestsuite/gna/ticket30/testsuite.sh13
3 files changed, 61 insertions, 0 deletions
diff --git a/testsuite/gna/ticket30/lib_numeric_tb.sdf b/testsuite/gna/ticket30/lib_numeric_tb.sdf
new file mode 100644
index 0000000..7c6e948
--- /dev/null
+++ b/testsuite/gna/ticket30/lib_numeric_tb.sdf
@@ -0,0 +1,18 @@
+(DELAYFILE
+ (SDFVERSION "3.0")
+ (DESIGN "test_vital_scalar_generic")
+ (DATE "Fri Dec 12 17:46:29 2014")
+ (VENDOR "GHDL")
+ (PROGRAM "GHDL")
+ (VERSION "20141231")
+ (DIVIDER /)
+ (VOLTAGE :0.95:)
+ (TEMPERATURE :85:)
+ (TIMESCALE 1 ps)
+ (CELL (CELLTYPE "numeric_tb")
+ (INSTANCE )
+ (TIMINGCHECK
+ (PERIOD (posedge CLK) ( -44:-45:-64 ))
+ )
+ )
+)
diff --git a/testsuite/gna/ticket30/lib_numeric_tb.vhd b/testsuite/gna/ticket30/lib_numeric_tb.vhd
new file mode 100644
index 0000000..82eb3a0
--- /dev/null
+++ b/testsuite/gna/ticket30/lib_numeric_tb.vhd
@@ -0,0 +1,30 @@
+use std.textio.all;
+
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+use ieee.vital_primitives.all;
+use ieee.vital_timing.all;
+
+entity numeric_tb is
+ generic (
+ tperiod_CLK_posedge : VitalDelayType := 0.000 ns);
+ port (
+ CLK : in std_ulogic);
+ attribute VITAL_LEVEL0 of numeric_tb : entity is true;
+end numeric_tb;
+
+architecture test of numeric_tb is
+
+begin
+
+ process
+ variable l : line;
+ begin
+ write(l, string'("tperiod_CLK_posedge = "));
+ write(l, tperiod_CLK_posedge);
+ writeline(output, l);
+ wait;
+ end process;
+
+end;
diff --git a/testsuite/gna/ticket30/testsuite.sh b/testsuite/gna/ticket30/testsuite.sh
new file mode 100755
index 0000000..47e2076
--- /dev/null
+++ b/testsuite/gna/ticket30/testsuite.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+$GHDL -i lib_numeric_tb.vhd
+$GHDL -m numeric_tb
+simulate numeric_tb --stop-time=10ns --wave=numeric_tb.ghw \
+ --sdf=typ==lib_numeric_tb.sdf
+
+clean
+rm numeric_tb.ghw
+
+echo "Test successful"