diff options
| author | T. Meissner <programming@goodcleanfun.de> | 2021-02-09 07:31:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-09 07:31:00 +0100 |
| commit | 7d5bfac5526528e32f5f44b9bea0bbdfee21a589 (patch) | |
| tree | a3d749912cca5d83f8cb1da304b90a62713d2d59 /doc/using | |
| parent | a75c135b5bb3c817ff0d9605c5cfabbfa721c13b (diff) | |
| download | ghdl-7d5bfac5526528e32f5f44b9bea0bbdfee21a589.tar.gz ghdl-7d5bfac5526528e32f5f44b9bea0bbdfee21a589.tar.bz2 ghdl-7d5bfac5526528e32f5f44b9bea0bbdfee21a589.zip | |
Add support for PSL onehot/onehot0 functions (#1633)
* 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>
Diffstat (limited to 'doc/using')
| -rw-r--r-- | doc/using/ImplementationOfVHDL.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/using/ImplementationOfVHDL.rst b/doc/using/ImplementationOfVHDL.rst index f53b04385..332cd7402 100644 --- a/doc/using/ImplementationOfVHDL.rst +++ b/doc/using/ImplementationOfVHDL.rst @@ -142,7 +142,7 @@ or use a clocked expression (note the use of parentheses): Of course only the simple subset of PSL is allowed. Currently the built-in functions are not implemented, see `issue #662 <https://github.com/ghdl/ghdl/issues/662>`_. -PSL functions `prev()`, `stable()`, `rose()` and `fell()` are supported with GHDL synthesis. +PSL functions `prev()`, `stable()`, `rose()`, `fell()`, `onehot()` and `onehot0()` are supported with GHDL synthesis. PSL usage --------- |