================================================
check - check for obvious problems in the design
================================================

.. cmd:def:: check
   :title: check for obvious problems in the design

   .. only:: html



      .. code:: yoscrypt

         check [options] [selection]

      ::

         This pass identifies the following problems in the current design:

           - combinatorial loops
           - two or more conflicting drivers for one wire
           - used wires that do not have a driver

         Options:


      .. code:: yoscrypt

         -noinit

      ::

             also check for wires which have the 'init' attribute set


      .. code:: yoscrypt

         -initdrv

      ::

             also check for wires that have the 'init' attribute set and are not
             driven by an FF cell type


      .. code:: yoscrypt

         -mapped

      ::

             also check for internal cells that have not been mapped to cells of the
             target architecture


      .. code:: yoscrypt

         -allow-tbuf

      ::

             modify the -mapped behavior to still allow $_TBUF_ cells


      .. code:: yoscrypt

         -assert

      ::

             produce a runtime error if any problems are found in the current design


      .. code:: yoscrypt

         -force-detailed-loop-check

      ::

             for the detection of combinatorial loops, use a detailed connectivity
             model for all internal cells for which it is available. This disables
             falling back to a simpler overapproximating model for those cells for
             which the detailed model is expected costly.

.. only:: latex

   ::

      
          check [options] [selection]
      
      This pass identifies the following problems in the current design:
      
        - combinatorial loops
        - two or more conflicting drivers for one wire
        - used wires that do not have a driver
      
      Options:
      
          -noinit
              also check for wires which have the 'init' attribute set
      
          -initdrv
              also check for wires that have the 'init' attribute set and are not
              driven by an FF cell type
      
          -mapped
              also check for internal cells that have not been mapped to cells of the
              target architecture
      
          -allow-tbuf
              modify the -mapped behavior to still allow $_TBUF_ cells
      
          -assert
              produce a runtime error if any problems are found in the current design
      
          -force-detailed-loop-check
              for the detection of combinatorial loops, use a detailed connectivity
              model for all internal cells for which it is available. This disables
              falling back to a simpler overapproximating model for those cells for
              which the detailed model is expected costly.