aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/psl01
Commit message (Expand)AuthorAgeFilesLines
* Add test for PSL declarations in inline PSLtmeissner2021-10-143-1/+63
* testsuite/synth: add a test for the previous commit.Tristan Gingold2020-06-302-0/+23
* synth: Add support for PSL cover directive (#930)T. Meissner2019-09-194-1/+56
* testsuite/synth: fix assert1 assertion.Tristan Gingold2019-08-151-1/+1
* add synthesis support for logic operators on numeric types (#893)Pepijn de Vos2019-08-151-3/+3
* synth: add test for previous commit.Tristan Gingold2019-08-142-1/+28
* synth: also extract edge in PSL expressions.Tristan Gingold2019-08-132-1/+28
* synth: extract edge for PSL clocks.Tristan Gingold2019-08-134-2/+86
* Support for PSL assert and assume in synthesis (#892)Pepijn de Vos2019-08-131-1/+2
* synth: add a test for psl.Tristan Gingold2019-07-292-0/+38