dalance / svls
SystemVerilog language server
☆445Updated this week
Related projects: ⓘ
- SystemVerilog linter☆301Updated last week
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆394Updated 9 months ago
- Repurposing existing HDL tools to help writing better code☆192Updated 3 months ago
- A SystemVerilog Language Server☆128Updated last month
- ☆330Updated 3 weeks ago
- Test suite designed to check compliance with the SystemVerilog standard.☆284Updated this week
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆353Updated last week
- Common SystemVerilog components☆494Updated this week
- ☆97Updated 3 months ago
- SystemVerilog to Verilog conversion☆535Updated 2 weeks ago
- lowRISC Style Guides☆357Updated last week
- HDL support for VS Code☆289Updated this week
- A dependency management tool for hardware projects.☆230Updated 3 weeks ago
- Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.☆418Updated last month
- SystemVerilog compiler and language services☆584Updated this week
- Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server☆1,321Updated this week
- Code generation tool for control and status registers☆318Updated 2 months ago
- BaseJump STL: A Standard Template Library for SystemVerilog☆498Updated 2 weeks ago
- VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!☆536Updated 2 weeks ago
- The UVM written in Python☆358Updated 2 months ago
- SystemVerilog support in VS Code☆126Updated last week
- Verilog/SystemVerilog Syntax and Omni-completion☆365Updated 7 months ago
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆389Updated this week
- GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard …☆615Updated last week
- Functional verification project for the CORE-V family of RISC-V cores.☆425Updated 2 weeks ago
- Bus bridges and other odds and ends☆470Updated 8 months ago
- AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication☆1,048Updated last month
- FOSS Flow For FPGA☆350Updated last month
- RISC-V Formal Verification Framework☆574Updated 2 years ago
- Fast Verilog/VHDL parser preprocessor and code generator for C++/Python based on ANTLR4☆281Updated 2 weeks ago