File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -354,6 +354,11 @@ Verilog Attributes and non-standard features
354354- The `` keep_hierarchy `` attribute on cells and modules keeps the `` flatten ``
355355 command from flattening the indicated cells and modules.
356356
357+ - The ` gate_cost_equivalent ` attribute on a module can be used to specify
358+ the estimated cost of the module as a number of basic gate instances. See
359+ the help message of command ` keep_hierarchy ` which interprets this
360+ attribute.
361+
357362- The `` init `` attribute on wires is set by the frontend when a register is
358363 initialized "FPGA-style" with `` reg foo = val `` . It can be used during
359364 synthesis to add the necessary reset logic.
@@ -575,10 +580,6 @@ Non-standard or SystemVerilog features for formal verification
575580 `` @(posedge <netname>) `` or `` @(negedge <netname>) `` when `` <netname> ``
576581 is marked with the `` (* gclk *) `` Verilog attribute.
577582
578- - The ` gate_cost_equivalent ` attribute on a module can be used to specify
579- the estimated cost of a module as an equivalent number of basic gate
580- instances.
581-
582583Supported features from SystemVerilog
583584=====================================
584585
You can’t perform that action at this time.
0 commit comments