mirror of https://github.com/YosysHQ/yosys.git
Docs: Less exaggeration
This commit is contained in:
parent
e4994554fd
commit
d0e5677760
|
@ -264,8 +264,8 @@ Additional information
|
||||||
======================
|
======================
|
||||||
|
|
||||||
The ``read_verilog`` command, used by default when calling ``read`` with Verilog
|
The ``read_verilog`` command, used by default when calling ``read`` with Verilog
|
||||||
source input, does not perform any syntax checking. You should instead lint
|
source input, does not perform syntax checking. You should instead lint your
|
||||||
your source with another tool such as
|
source with another tool such as
|
||||||
[Verilator](https://www.veripool.org/verilator/) first, e.g. by calling
|
[Verilator](https://www.veripool.org/verilator/) first, e.g. by calling
|
||||||
``verilator --lint-only``.
|
``verilator --lint-only``.
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue