a2k-hanlon / linter-veriloghdlLinks
Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.
☆10Updated last year
Alternatives and similar repositories for linter-veriloghdl
Users that are interested in linter-veriloghdl are comparing it to the libraries listed below
Sorting:
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆41Updated 2 years ago
- CMake based hardware build system☆25Updated this week
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆29Updated 10 months ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- IP-core package generator for AXI4/Avalon☆22Updated 6 years ago
- SystemVerilog RTL Linter for YoSys☆20Updated 6 months ago
- Cross EDA Abstraction and Automation☆38Updated last week
- YosysHQ SVA AXI Properties☆39Updated 2 years ago
- An automatic clock gating utility☆48Updated last month
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆36Updated 2 weeks ago
- Open Source PHY v2☆28Updated last year
- ☆36Updated 2 years ago
- Hamming ECC Encoder and Decoder to protect memories☆33Updated 4 months ago
- ☆33Updated 2 years ago
- LibreSilicon's Standard Cell Library Generator☆18Updated last year
- Sphinx Extension which generates various types of diagrams from Verilog code.☆60Updated last year
- SystemVerilog Functional Coverage for RISC-V ISA☆28Updated this week
- Python library for parsing module definitions and instantiations from SystemVerilog files☆23Updated 4 years ago
- https://caravel-mgmt-soc-litex.readthedocs.io/en/latest/☆27Updated 4 months ago
- A current mode buck converter on the SKY130 PDK☆27Updated 3 years ago
- sram/rram/mram.. compiler☆35Updated last year
- A padring generator for ASICs☆25Updated 2 years ago
- ☆18Updated 7 months ago
- ☆25Updated this week
- Equivalence checking with Yosys☆43Updated last month
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- Characterizer☆23Updated 2 weeks ago
- A library and command-line tool for querying a Verilog netlist.☆27Updated 2 years ago