Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add test for PSL declarations in inline PSL | tmeissner | 2021-10-14 | 1 | -1/+1 |
| | |||||
* | testsuite/synth: add a test for the previous commit. | Tristan Gingold | 2020-06-30 | 1 | -0/+3 |
| | |||||
* | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 1 | -1/+1 |
| | | | | | | * synth: Add support for PSL cover directive * testsuite/synth: Add tests for PSL cover directives | ||||
* | synth: add test for previous commit. | Tristan Gingold | 2019-08-14 | 1 | -1/+1 |
| | |||||
* | synth: also extract edge in PSL expressions. | Tristan Gingold | 2019-08-13 | 1 | -1/+1 |
| | |||||
* | synth: extract edge for PSL clocks. | Tristan Gingold | 2019-08-13 | 1 | -2/+5 |
| | |||||
* | synth: add a test for psl. | Tristan Gingold | 2019-07-29 | 1 | -0/+10 |