svalint
Linter for SystemVerilog Assertions (SVA). Following the philosophy of BYOL - Build Your Own Linter, SVALint is an example of ho users can roll out their own linters!
File Explorer
- docs.yml
- svalint.py
- verible_verilog_syntax.py
- new_tab_links.js
- conf.py
- index.rst
- rules.rst
- requirements.txt
- Makefile
- sva_naming_f.sv
- sva_naming_p.sv
- af_asrt_naming.py
- af_asrt_no_label.py
- af_assume_naming.py
- af_clk_without_edge.py
- af_cover_naming.py
- af_delay_before_changed.py
- af_delay_before_fell.py
- af_delay_before_rose.py
- af_func_cov_nolap.py
- af_func_cov_olap.py
- af_func_missing_fablk.py
- af_func_no_ev_then_alw.py
- af_func_no_ub_in_cnseq.py
- af_func_no_weak_ev.py
- af_func_no_weak_nxt.py
- af_func_no_weak_until.py
- af_func_no_weak_until_w.py
- af_immediate_sva_always_comb.py
- af_missing_elbl_prop.py
- af_missing_elbl_seq.py
- af_mixed_impl_oper.py
- af_nested_implication.py
- af_no_aa_exists_sva.py
- af_no_cover_seq.py
- af_no_dollar_time.py
- af_no_fmatch_oper.py
- af_no_implication_property.py
- af_no_pop_back_sva.py
- af_no_pop_front_sva.py
- af_no_range_ant.py
- af_no_timeliteral.py
- af_no_ub_repeat_ant.py
- af_no_within_oper.py
- af_perf_missing_impl_oper.py
- af_perf_no_large_del.py
- af_perf_no_pass_ablk.py
- af_perf_no_ub_range_ant.py
- af_prop_local_var_not_in_conseq.py
- af_prop_naming.py
- af_prop_unused_formal_arg.py
- af_prop_unused_local_var.py
- af_reuse_fa_one_liner.py
- af_seq_unused_formal_arg.py
- af_seq_unused_local_var.py
- af_throughout_rhs_bool.py
- af_unused_property.py
- af_unused_sequence.py
- af_use_simple_cnseq.py
- af_lint_rule.py
- asfigo_linter.py
- .gitignore
- README.md
# Use via CDN
jsDelivrjsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.
Command Glossary
Commands referenced in this DOCs, explained below.
git clone
View Details ▼
git clone
Clone an existing repository.
git clone {{remote_repository_location}} {{path/to/directory}}
Clone an existing repository into a new directory (the default directory is the repository name):
git clone --recursive {{remote_repository_location}}
Clone an existing repository and its submodules:
git clone {{[-n|--no-checkout]}} {{remote_repository_location}}
Clone only the `.git` directory of an existing repository:
python
View Details ▼
python
Python language interpreter.
python
Start a REPL (interactive shell):
python {{path/to/file.py}}
Execute a specific Python file:
python -i {{path/to/file.py}}
Execute a specific Python file and start a REPL: