Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | synth: Add support for PSL cover directive (#930) | T. Meissner | 2019-09-19 | 1 | -0/+1 |
* | add synthesis support for logic operators on numeric types (#893) | Pepijn de Vos | 2019-08-15 | 1 | -3/+3 |
* | Support for PSL assert and assume in synthesis (#892) | Pepijn de Vos | 2019-08-13 | 1 | -1/+2 |
* | synth: add a test for psl. | Tristan Gingold | 2019-07-29 | 1 | -0/+28 |