1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl b/testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl
new file mode 100644
index 000000000..e2dfeae5c
--- /dev/null
+++ b/testsuite/synth/issue2033/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)) {
+    SUBTYPE f_t_ram_word IS std_logic_vector(1 DOWNTO 0);
+}