diff --git a/LICENSE.md b/LICENSE.md index ba76508..4096aa2 100644 --- a/LICENSE.md +++ b/LICENSE.md @@ -1,4 +1,4 @@ -#GNU LESSER GENERAL PUBLIC LICENSE +# GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 diff --git a/README.md b/README.md index a19f2af..69e714e 100644 --- a/README.md +++ b/README.md @@ -40,9 +40,10 @@ The next two lists will grow during further development ## PSL features not yet supported by GHDL: +* Synthesis of strong operator versions * forall statement ## PSL features supported by GHDL but with wrong behaviour * before_ operator (Seems that LHS & RHS of operator have to be active at same cycle, see psl_before.vhd) -* next_event_a[i to j] operator (Behaviour currently under verification) +* next_event_a[i to j] operator (Behaviour currently under investigation)