vivekmalneedi / veridian
A SystemVerilog Language Server
☆163Updated 2 weeks ago
Alternatives and similar repositories for veridian:
Users that are interested in veridian are comparing it to the libraries listed below
- ☆109Updated 10 months ago
- SystemVerilog linter☆341Updated last month
- SystemVerilog language server☆504Updated last week
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆433Updated last month
- Repurposing existing HDL tools to help writing better code☆207Updated 10 months ago
- SystemVerilog support in VS Code☆137Updated 2 months ago
- SystemVerilog synthesis tool☆189Updated last month
- Test suite designed to check compliance with the SystemVerilog standard.☆313Updated this week
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆388Updated this week
- A dependency management tool for hardware projects.☆292Updated this week
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆217Updated 3 weeks ago
- Python bindings for slang, a library for compiling SystemVerilog☆56Updated 3 months ago
- SystemVerilog grammar for tree-sitter☆99Updated 5 months ago
- Verilog Configurable Cache☆175Updated 4 months ago
- Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.☆475Updated 2 months ago
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆150Updated last week
- Open source implementation of a Verilog formatter☆179Updated 3 years ago
- Common SystemVerilog components☆601Updated this week
- ☆92Updated last year
- WAL enables programmable waveform analysis.☆150Updated last month
- Python packages providing a library for Verification Stimulus and Coverage☆120Updated this week
- ☆60Updated 2 years ago
- Tools based upon slang for language server purpose☆12Updated last month
- RISC-V Formal Verification Framework☆131Updated last week
- A dynamic verification library for Chisel.☆148Updated 5 months ago
- Control and status register code generator toolchain☆123Updated last month
- Fabric generator and CAD tools☆176Updated this week
- A modular, parametrizable, and highly flexible Data Movement Accelerator (DMA)☆145Updated 3 weeks ago
- Language server based on ghdl☆91Updated last month
- Code generation tool for control and status registers☆380Updated 2 months ago