aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue662
Commit message (Collapse)AuthorAgeFilesLines
* testsuite/synth: adjust tests for issue#662Tristan Gingold2021-02-097-18/+51
|
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-095-1/+194
| | | | | | | | | | | | | | | * vhdl: parse PSL onehot/onehot0 builtin calls. For #662 * update pyGHDL bindings * Synthesis of PSL built-in onehot/onehot0 function. * testsuite/synth: add tests of PSL built-in functions onehot()/onehot0() for #662 * doc: add info about PSL built-in functions onehot()/onehot0() for #662 * synth: refactor synthesis of onehot/onehot0 functions Co-authored-by: eine <eine@users.noreply.github.com>
* Adjust use of PSL prev() in fell(), rose() & stable() testcasestmeissner2020-06-073-3/+9
|
* testsuite/synth: add a test of PSL built-in function fell() for #662tmeissner2020-06-073-1/+63
|
* testsuite/synth: add a test of PSL built-in function rose() for #662tmeissner2020-06-063-1/+63
|
* testsuite/synth: add a test of PSL built-in function stable() for #662tmeissner2020-06-065-11/+105
|
* testsuite/synth: add a test for #662Tristan Gingold2020-06-023-0/+63