diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-04-13 20:58:43 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-04-13 20:58:43 +0200 |
| commit | 057fcd45c357f6933de646a7086a44b190efee6f (patch) | |
| tree | 9b50de170e4415182b130d67f2516a6fcb424ab8 /testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl | |
| parent | 951f45147a203381e2b2d3aec51606c1a7657642 (diff) | |
| download | ghdl-057fcd45c357f6933de646a7086a44b190efee6f.tar.gz ghdl-057fcd45c357f6933de646a7086a44b190efee6f.tar.bz2 ghdl-057fcd45c357f6933de646a7086a44b190efee6f.zip | |
testsuite/synth: add a test for #2033
Diffstat (limited to 'testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl')
| -rw-r--r-- | testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl | 7 |
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); +} |