Synopsys
########

.. todo:: A list of Synopsys tools is needed.

.. toctree::
   :name: TOC:Synopsys
   :maxdepth: 2

   VCS
   Synplify