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 --- src/ghdldrv/ghdlprint.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/ghdldrv/ghdlprint.adb') diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index e17862db0..dc8e649be 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -447,7 +447,9 @@ package body Ghdlprint is | Tok_Prev | Tok_Stable | Tok_Rose - | Tok_Fell => + | Tok_Fell + | Tok_Onehot + | Tok_Onehot0 => Disp_Spaces; Disp_Text; when Tok_String -- cgit v1.2.3