X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=README.md;h=203a292d1b903588863d79dc127eac8415ca5ab8;hb=442d19f6478180cb4c49cc4e67e93ae391da9e65;hp=1e486c3ac7a1918556b6339fa9f33332f1e254f6;hpb=bbde2419420a86635baf2b730ebe58ed6edca5bb;p=yosys.git diff --git a/README.md b/README.md index 1e486c3ac..203a292d1 100644 --- a/README.md +++ b/README.md @@ -281,6 +281,9 @@ Verilog Attributes and non-standard features temporary variable within an always block. This is mostly used internally by Yosys to synthesize Verilog functions and access arrays. +- The ``nowrshmsk`` attribute on a register prohibits the generation of + shift-and-mask type circuits for writing to bit slices of that register. + - The ``onehot`` attribute on wires mark them as one-hot state register. This is used for example for memory port sharing and set by the fsm_map pass. @@ -306,7 +309,9 @@ Verilog Attributes and non-standard features that have ports with a width that depends on a parameter. - The ``hdlname`` attribute is used by some passes to document the original - (HDL) name of a module when renaming a module. + (HDL) name of a module when renaming a module. It should contain a single + name, or, when describing a hierarchical name in a flattened design, multiple + names separated by a single space character. - The ``keep`` attribute on cells and wires is used to mark objects that should never be removed by the optimizer. This is used for example for cells that @@ -553,6 +558,8 @@ from SystemVerilog: - enums are supported (including inside packages) - but are currently not strongly typed +- packed structs and unions are supported. + - SystemVerilog interfaces (SVIs) are supported. Modports for specifying whether ports are inputs or outputs are supported.