riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Docs: Add todo for $check

This commit is contained in:
Krystine Sherwin 2024-08-29 10:43:46 +12:00
parent 596d914ead
commit b0bc29e215
No known key found for this signature in database
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/source/cell/word_formal.rst
View File

@ -1,6 +1,10 @@
Formal verification cells Formal verification cells
------------------------- -------------------------
.. TODO:: note on `$check`
If only I remembered what the note was...
.. TODO:: Describe formal cells .. TODO:: Describe formal cells
`$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`, `$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`,