diff options
Diffstat (limited to 'doc')
-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 --------- |