From 7d5bfac5526528e32f5f44b9bea0bbdfee21a589 Mon Sep 17 00:00:00 2001 From: "T. Meissner" Date: Tue, 9 Feb 2021 07:31:00 +0100 Subject: 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 --- doc/using/ImplementationOfVHDL.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/using') 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 `_. -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 --------- -- cgit v1.2.3