tests/clocks/input_attr_clock/README.rst

Manually set input as clock by setting the CLOCK attribute
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The following shows that `input wire a` is given the `(* CLOCK *)` attribute.

.. symbolator:: ../../../tests/clocks/input_attr_clock/input_attr_clock.sim.v

|

.. literalinclude:: ../../../tests/clocks/input_attr_clock/input_attr_clock.sim.v
   :language: verilog
   :start-after: */
   :caption: tests/clocks/input_attr_clock/input_attr_clock.sim.v

As such, the `is_clock` attribute of the `a` port is set to 1.

.. literalinclude:: ../../../tests/clocks/input_attr_clock/golden.model.xml
   :language: xml
   :caption: tests/clocks/input_attr_clock/golden.model.xml