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.txt18
1 files changed, 15 insertions, 3 deletions
diff --git a/doc/ale-verilog.txt b/doc/ale-verilog.txt
index 611ed2f9..83e4f31e 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 six different linters for Verilog HDL:
+ALE can use seven different linters for Verilog HDL:
HDL Checker
Using `hdl_checker --lsp`
@@ -11,6 +11,9 @@ ALE can use six different linters for Verilog HDL:
iverilog:
Using `iverilog -t null -Wall`
+ slang:
+ Using `slang -Weverything`
+
verilator
Using `verilator --lint-only -Wall`
@@ -21,7 +24,7 @@ ALE can use six different linters for Verilog HDL:
Using `xvlog`
Yosys
- Using `ysoys -Q -T -p 'read_verilog'`
+ Using `yosys -Q -T -p 'read_verilog'`
By default, both 'verilog' and 'systemverilog' filetypes are checked.
@@ -64,6 +67,15 @@ iverilog *ale-verilog-iverilog*
No additional options
+===============================================================================
+slang *ale-verilog-slang*
+
+g:ale_verilog_slang_option *g:ale_verilog_slang_options*
+ *b:ale_verilog_slang_options*
+ Type: String
+ Default: ''
+
+ This variable can be changed to modify 'slang' command arguments.
===============================================================================
verilator *ale-verilog-verilator*
@@ -73,7 +85,7 @@ g:ale_verilog_verilator_options *g:ale_verilog_verilator_options*
Type: |String|
Default: `''`
- This variable can be changed to modify 'verilator' command arguments
+ This variable can be changed to modify 'verilator' command arguments.
For example `'-sv --default-language "1800-2012"'` if you want to enable
SystemVerilog parsing and select the 2012 version of the language.