Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 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 |