.. # Template modified by Patrick Lehmann
     * removed automodule on top, because private members are activated for autodoc (no doubled documentation).
     * Made sections like 'submodules' bold text, but no headlines to reduce number of ToC levels.

==============
pyGHDL.dom.PSL
==============

.. automodule:: pyGHDL.dom.PSL


.. currentmodule:: pyGHDL.dom.PSL


**Classes**

- :py:class:`VerificationUnit`:
  Represents a PSL verification unit (``vunit``).

- :py:class:`VerificationProperty`:
  Represents a PSL verification property (``vprop``).

- :py:class:`VerificationMode`:
  Represents a PSL verification mode (``vmode``).

- :py:class:`DefaultClock`:
  Represents a PSL default clock declaration.



---------------------

**Classes**




.. autoclass:: VerificationUnit
   :members:
   :private-members:
   :special-members:
   :inherited-members:
   :exclude-members: __weakref__, __init_subclass__, __class_getitem__

   .. rubric:: Inheritance
   .. inheritance-diagram:: VerificationUnit
      :parts: 1

.. autoclass:: VerificationProperty
   :members:
   :private-members:
   :special-members:
   :inherited-members:
   :exclude-members: __weakref__, __init_subclass__, __class_getitem__

   .. rubric:: Inheritance
   .. inheritance-diagram:: VerificationProperty
      :parts: 1

.. autoclass:: VerificationMode
   :members:
   :private-members:
   :special-members:
   :inherited-members:
   :exclude-members: __weakref__, __init_subclass__, __class_getitem__

   .. rubric:: Inheritance
   .. inheritance-diagram:: VerificationMode
      :parts: 1

.. autoclass:: DefaultClock
   :members:
   :private-members:
   :special-members:
   :inherited-members:
   :exclude-members: __weakref__, __init_subclass__, __class_getitem__

   .. rubric:: Inheritance
   .. inheritance-diagram:: DefaultClock
      :parts: 1