aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl
Commit message (Expand)AuthorAgeFilesLines
* testsuite/synth: add a test for #2033Tristan Gingold2022-04-131-0/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-14 07:20:17 +0000