diff options
author | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2010-01-28 06:08:48 +0000 |
---|---|---|
committer | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2010-01-28 06:08:48 +0000 |
commit | e2b41faa79b1f32569ccbc514a375fc2e6f5e99f (patch) | |
tree | bdb53cf3c46d99c7dd5d125cb262034e7498cde8 /doc/ghdl.texi | |
parent | 3cc13c09aeaaf0920cedd2bf7a8e902735a92d42 (diff) | |
download | ghdl-e2b41faa79b1f32569ccbc514a375fc2e6f5e99f.tar.gz ghdl-e2b41faa79b1f32569ccbc514a375fc2e6f5e99f.tar.bz2 ghdl-e2b41faa79b1f32569ccbc514a375fc2e6f5e99f.zip |
Improve doc.
Remove ortho_code-sysdeps.
Add Pragma convention C in grt for accesses to subprograms.
Fix build on windows.
Diffstat (limited to 'doc/ghdl.texi')
-rw-r--r-- | doc/ghdl.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/ghdl.texi b/doc/ghdl.texi index eed41f110..ea44ebb98 100644 --- a/doc/ghdl.texi +++ b/doc/ghdl.texi @@ -1931,7 +1931,8 @@ completely analyzed using either the 87 or the 93 version of the VHDL standard. @node PSL implementation, Source representation, VHDL standards, GHDL implementation of VHDL @comment node-name, next, previous, up @section PSL implementation -GHDL understands embedded PSL annotations in VHDL files, but in separate files. +GHDL understands embedded PSL annotations in VHDL files, but not in +separate files. As PSL annotations are embedded within comments, you must analyze and elaborate your design with option @option{-fpsl} to enable PSL annotations. @@ -1941,8 +1942,8 @@ with the @code{psl} keyword. The keyword must be followed (on the same line) by a PSL keyword such as @code{assert} or @code{default}. To continue a PSL statement on the next line, just start a new comment. -A PSL statement is considered as a concurrent statement, and therefore is -allowed only where processes are. +A PSL statement is considered as a process. So it is not allowed within +a process. All PSL assertions must be clocked (GHDL doesn't support unclocked assertion). Furthermore only one clock per assertion is allowed. |