yosys/docs/source/cell/word_formal.rst

Formal verification cells
-------------------------

.. TODO:: Describe formal cells

   `$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`,
   `$initstate`, `$anyconst`, `$anyseq`, `$anyinit`, `$allconst`, and `$allseq`.

   Also `$ff` and `$_FF_` cells.

.. autocellgroup:: formal
   :members:
   :source:
   :linenos:

Formal support cells
~~~~~~~~~~~~~~~~~~~~

.. autocellgroup:: formal_tag
   :members:
   :source:
   :linenos:
cellref: Deprecate cell_library.rst Most of the word/coarse level cells have an assigned group and individual page. The gate/fine level cells are all on one page. Fix links to `cell_library.rst`. 2024-05-27 05:46:43 +02:00			`Formal verification cells`
			`-------------------------`

			`.. TODO:: Describe formal cells`

			`$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`,
			`$initstate`, `$anyconst`, `$anyseq`, `$anyinit`, `$allconst`, and `$allseq`.

			Also `$ff` and `$_FF_` cells.

			`.. autocellgroup:: formal`
			`:members:`
			`:source:`
			`:linenos:`
Docs: Assign remaining word cells to groups Move todos to correct place. Add todo for x-prop cells. 2024-08-27 00:48:28 +02:00
			`Formal support cells`
			`~~~~~~~~~~~~~~~~~~~~`

			`.. autocellgroup:: formal_tag`
			`:members:`
			`:source:`
			`:linenos:`