diff options
Diffstat (limited to 'testsuite/synth/issue2034/cdc_fifo_rtl_formal.psl')
-rw-r--r-- | testsuite/synth/issue2034/cdc_fifo_rtl_formal.psl | 7 |
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; +} |