mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-12-01 03:07:18 +00:00
Code Activity

Merge pull request #344 from YosysHQ/gussmith23-patch-1

Browse source 
Fix typo on anyconst attribute in verilog.rst
This commit is contained in:
KrystalDelusion 2025-11-25 12:52:23 +13:00 • committed by GitHub
commit cc84339b37
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/source/verilog.rst
View file

@ -167,7 +167,7 @@ time, as in
.. code-block:: systemverilog
(* anyconst ) reg some_value;
(* anyconst *) reg some_value;
The ``(* anyconst *)`` attribute will create a solver chosen constant.
It is often used when verifying memories: the proof allows the solver to