mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

Docs: Add note on $check

Browse source
This commit is contained in:
Krystine Sherwin 2024-09-16 13:02:54 +12:00
parent e40134c856
commit 9d808caba6
No known key found for this signature in database
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
docs/source/cell/word_formal.rst
View file

@ -1,9 +1,14 @@
Formal verification cells Formal verification cells
------------------------- -------------------------
.. TODO:: note on `$check` .. role:: yoscrypt(code)
:language: yoscrypt
If only I remembered what the note was... .. note::
Some front-ends may not support the generic `$check` cell, in such cases
calling :yoscrypt:`chformal -lower` will convert each `$check` cell into it's
equivalent. See `chformal` for more.
.. todo:: Describe formal cells .. todo:: Describe formal cells