diff options
author | T. Meissner <programming@goodcleanfun.de> | 2020-10-06 23:33:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-06 23:33:14 +0200 |
commit | 64e49ec867764186207a37f6812311a5b68ef76a (patch) | |
tree | b219e307b891730ac8c80b66ed75e889302568c4 /doc/using/ImplementationOfVHDL.rst | |
parent | 267ceb3b009f4fa2ccecbfd7ce0f822daa2e2541 (diff) | |
download | ghdl-64e49ec867764186207a37f6812311a5b68ef76a.tar.gz ghdl-64e49ec867764186207a37f6812311a5b68ef76a.tar.bz2 ghdl-64e49ec867764186207a37f6812311a5b68ef76a.zip |
doc/PSL: only clocked directives are supported, related to #1479 (#1487)
Diffstat (limited to 'doc/using/ImplementationOfVHDL.rst')
-rw-r--r-- | doc/using/ImplementationOfVHDL.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/using/ImplementationOfVHDL.rst b/doc/using/ImplementationOfVHDL.rst index d16ccf861..90b3a56c6 100644 --- a/doc/using/ImplementationOfVHDL.rst +++ b/doc/using/ImplementationOfVHDL.rst @@ -121,8 +121,8 @@ PSL implementation A PSL statement is considered as a process, so it's not allowed within a process. -All PSL assertions must be clocked (GHDL doesn't support unclocked assertions). -Furthermore only one clock per assertion is allowed. +All PSL directives (`assert`, `assume`, `restrict`, `cover`) must be clocked (GHDL doesn't support unclocked directives). +Furthermore only one clock per directive is allowed. You can either use a default clock like this: |