mirror of https://github.com/YosysHQ/yosys.git
27 lines
525 B
ReStructuredText
27 lines
525 B
ReStructuredText
Formal verification cells
|
|
-------------------------
|
|
|
|
.. TODO:: note on `$check`
|
|
|
|
If only I remembered what the note was...
|
|
|
|
.. 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:
|