From af160ada0f0d96e211422f661f9882b06304ecd5 Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Mon, 24 Nov 2025 14:45:32 -0800 Subject: [PATCH] Fix typo on anyconst attribute in verilog.rst --- docs/source/verilog.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/verilog.rst b/docs/source/verilog.rst index 13f36c4..457ac36 100644 --- a/docs/source/verilog.rst +++ b/docs/source/verilog.rst @@ -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