summaryrefslogtreecommitdiff
path: root/doc/ale-verilog.txt
diff options
context:
space:
mode:
Diffstat (limited to 'doc/ale-verilog.txt')
-rw-r--r--doc/ale-verilog.txt26
1 files changed, 25 insertions, 1 deletions
diff --git a/doc/ale-verilog.txt b/doc/ale-verilog.txt
index 01af63c2..11e988bb 100644
--- a/doc/ale-verilog.txt
+++ b/doc/ale-verilog.txt
@@ -3,7 +3,7 @@ ALE Verilog/SystemVerilog Integration *ale-verilog-options*
===============================================================================
-ALE can use five different linters for Verilog HDL:
+ALE can use six different linters for Verilog HDL:
HDL Checker
Using `hdl_checker --lsp`
@@ -20,6 +20,9 @@ ALE can use five different linters for Verilog HDL:
Vivado
Using `xvlog`
+ Yosys
+ Using `ysoys -Q -T -p 'read_verilog'`
+
By default, both 'verilog' and 'systemverilog' filetypes are checked.
You can limit 'systemverilog' files to be checked using only 'verilator' by
@@ -115,4 +118,25 @@ g:ale_verilog_xvlog_options *g:ale_verilog_xvlog_options*
===============================================================================
+yosys *ale-verilog-yosys*
+
+g:ale_verilog_yosys_executable *g:ale_verilog_yosys_executable*
+ *b:ale_verilog_yosys_executable*
+ Type: |String|
+ Default: `'yosys'`
+
+ This variable can be changed to the path to the 'yosys' executable.
+
+
+g:ale_verilog_yosys_options *g:ale_verilog_yosys_options*
+ *b:ale_verilog_yosys_options*
+ Type: |String|
+ Default: `'-Q -T -p ''read_verilog %s'''`
+
+ This variable can be changed to modify the flags/options passed to 'yosys'.
+ By default, Yosys is an interative program. To obtain linting functionality,
+ the `'read_verilog'` command is used.
+
+
+===============================================================================
vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: