yosys/yosys-yosys-0.12/README.md

8 copyright notice and this permission notice appear in all copies.
64 For example on Ubuntu Linux 16.04 LTS the following commands will install all
81 On FreeBSD use the following command to install all prerequisites:
89 For Cygwin use the following command to install all prerequisites, or select these additional packa…
138 the command ``help`` can be used to print a list of all available
270   on all memories that are written to in an ``initial`` block and
275   all not explicitly assigned values default to x-bits. This does
279   storage element. The register itself will always have all bits set
287 - The ``onehot`` attribute on wires mark them as one-hot state register. This
288   is used for example for memory port sharing and set by the fsm_map pass.
320   on all instances of the module.
337   string is created that contains all the string from the original entities.
405 - In addition to the ``(* ... *)`` attribute syntax, Yosys supports
406   the non-standard ``{* ... *}`` attribute syntax to set default attributes
415   instead of a list of module ports). With this syntax it is sufficient
419 - When defining a macro with `define, all text between triple double quotes
469   a plugin alias using the ``<alias>:`` syntax. For example:
478 - Sized constants (the syntax ``<size>'s?[bodh]<value>``) support constant
504 - The system task ``$initstate`` evaluates to 1 in the initial state and
518   the assumption for all ``$allconst/$allseq`` values. For assertions and cover
529 - The syntax ``@($global_clock)`` can be used to create FFs that have no
557   into a design with ``read_verilog``, all its packages are available to