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