1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/synth/issue2034/cdc_fifo_rtl_formal.psl b/testsuite/synth/issue2034/cdc_fifo_rtl_formal.psl
new file mode 100644
index 000000000..11660940e
--- /dev/null
+++ b/testsuite/synth/issue2034/cdc_fifo_rtl_formal.psl
@@ -0,0 +1,7 @@
+
+library ieee;
+use ieee.std_logic_1164.all;
+
+vunit cdc_fifo_rtl_formal (cdc_fifo(rtl)) {
+    TYPE f_array IS ARRAY (1 DOWNTO 0) OF std_logic;
+}