mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Minor README changes

Browse source
This commit is contained in:
Clifford Wolf 2015-02-01 00:57:12 +01:00
parent b59bb8a528
commit 3fe2441185
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
README
View file

@ -295,7 +295,7 @@ Verilog Attributes and non-standard features
by adding an empty {* *} statement.) by adding an empty {* *} statement.)
- Modules can be declared with "module mod_name(...);" (with three dots - Modules can be declared with "module mod_name(...);" (with three dots
instead of a list of moudle ports). With this syntax it is sufficient instead of a list of module ports). With this syntax it is sufficient
to simply declare a module port as 'input' or 'output' in the module to simply declare a module port as 'input' or 'output' in the module
body. body.
@ -360,8 +360,7 @@ from SystemVerilog:
- The "assert" statement from SystemVerilog is supported in its most basic - The "assert" statement from SystemVerilog is supported in its most basic
form. In module context: "assert property (<expression>);" and within an form. In module context: "assert property (<expression>);" and within an
always block: "assert(<expression>);". It is transformed to a $assert cell always block: "assert(<expression>);". It is transformed to a $assert cell.
that is supported by the "sat" and "write_btor" commands.
- The keywords "always_comb", "always_ff" and "always_latch", "logic" and - The keywords "always_comb", "always_ff" and "always_latch", "logic" and
"bit" are supported. "bit" are supported.