aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/about.rst2
-rw-r--r--doc/using/ImplementationOfVHDL.rst4
2 files changed, 3 insertions, 3 deletions
diff --git a/doc/about.rst b/doc/about.rst
index c620efad3..4dfa78e06 100644
--- a/doc/about.rst
+++ b/doc/about.rst
@@ -42,7 +42,7 @@ At the same time, like a design written in another `HDL`, a set of VHDL sources
:dfn:`synthesis tool` into a netlist, that is, a detailed gate-level implementation.
The development of VHDL started in 1983 and the standard is named `IEEE <https://www.ieee.org/>`__ `1076`.
-Six revisions exist:
+Five revisions exist:
`1987 <http://ieeexplore.ieee.org/document/26487/>`__,
`1993 <http://ieeexplore.ieee.org/document/392561/>`__,
`2002 <http://ieeexplore.ieee.org/document/1003477/>`__,
diff --git a/doc/using/ImplementationOfVHDL.rst b/doc/using/ImplementationOfVHDL.rst
index c0a39c276..39597bf21 100644
--- a/doc/using/ImplementationOfVHDL.rst
+++ b/doc/using/ImplementationOfVHDL.rst
@@ -183,7 +183,7 @@ GHDL understands embedded PSL annotations in VHDL files:
ghdl -e vhdl_design
PSL annotations (VHDL-2008 and later)
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Since VHDL-2008 PSL is integrated in the VHDL language. You can use
PSL in a VHDL(-2008) design without embedding it in comments.
@@ -205,7 +205,7 @@ PSL in a VHDL(-2008) design without embedding it in comments.
ghdl -e --std=08 vhdl_design
PSL vunit files (VHDL-2008 and later, synthesis only)
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
GHDL supports vunit (Verification Unit) files.