Docs: Notes about `--x-initial-edge` (#6377 comment)

This commit is contained in:
Wilson Snyder 2025-09-04 09:09:54 -04:00
parent 319ab84f90
commit 7d3c58d21c
1 changed files with 24 additions and 4 deletions

View File

@ -2031,7 +2031,7 @@ Summary:
.. code-block:: sv
reg res_n = 1'b0;
logic res_n = 1'b0;
always @(negedge rst_n) begin
if (rst_n == 1'b0) begin
@ -2054,6 +2054,26 @@ Summary:
iterations. This may be another indication of problems with the
modeled design that should be addressed.
Instead of using this option, one technique is to explicitly create the
appropriate edge by creating a value at construction, and a value in an
initial block at time zero:
.. code-block:: sv
logic rst_n = 1; // value at construction
initial begin
rst_n = 0; // value at time zero
// ... rest
end
always @(negedge rst_n) begin
if (rst_n == 1'b0) begin
res_n <= 1'b1;
end
end
.. option:: --xml-only
Create XML output only, do not create any other output.