diff --git a/README.md b/README.md index 3bcd59ec8..19041673a 100644 --- a/README.md +++ b/README.md @@ -354,6 +354,11 @@ Verilog Attributes and non-standard features - The ``keep_hierarchy`` attribute on cells and modules keeps the ``flatten`` command from flattening the indicated cells and modules. +- The `gate_cost_equivalent` attribute on a module can be used to specify + the estimated cost of the module as a number of basic gate instances. See + the help message of command `keep_hierarchy` which interprets this + attribute. + - The ``init`` attribute on wires is set by the frontend when a register is initialized "FPGA-style" with ``reg foo = val``. It can be used during synthesis to add the necessary reset logic. @@ -575,10 +580,6 @@ Non-standard or SystemVerilog features for formal verification ``@(posedge )`` or ``@(negedge )`` when ```` is marked with the ``(* gclk *)`` Verilog attribute. -- The `gate_cost_equivalent` attribute on a module can be used to specify - the estimated cost of a module as an equivalent number of basic gate - instances. - Supported features from SystemVerilog =====================================