diff options
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 a623801db..42681dcc9 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>`_. +Currently the built-in functions are not implemented, see :ghdlsharp:`662`. PSL functions `prev()`, `stable()`, `rose()`, `fell()`, `onehot()` and `onehot0()` are supported with GHDL synthesis. PSL usage |