mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-07 09:55:20 +00:00
23 lines
451 B
ReStructuredText
23 lines
451 B
ReStructuredText
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:
|