AsFigo / SVALintLinks
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!
☆9Updated this week
Alternatives and similar repositories for SVALint
Users that are interested in SVALint are comparing it to the libraries listed below
Sorting:
- SystemVerilog RTL Linter for YoSys☆20Updated 6 months ago
- The purpose of the repo is to support CORE-V Wally architectural verification☆12Updated this week
- Small and simple, primitive SoC with GPU, CPU, RAM, GPIO☆13Updated 8 years ago
- Demo: how to create a custom EBRICK☆21Updated 6 months ago
- This is the UVM environment for UART-APB IP core. This environment contains full UVM components. It is only used for studing and invetiga…☆24Updated 5 years ago
- Computer Architecture -VLSI -Verilog Codes-Xilinx-Irsim☆13Updated 4 years ago
- Submission template for Tiny Tapeout 10 - Verilog HDL Projects☆21Updated 3 months ago
- Parse FSDB waveform files☆15Updated last year
- A feature-rich expense tracker app that allows users to log, categorize, and track expenses. Customize it with AI/ML for project expense …☆8Updated 7 months ago
- ☆25Updated this week
- tools used by project repos to test configuration, generate OpenLane run summaries and documentation☆21Updated this week
- ☆11Updated 6 months ago
- ☆20Updated 6 months ago
- ☆9Updated 8 months ago
- In this repository, we delve into the basic concepts of python from scratch. We explored every thing from a beginner perscpective who sta…☆8Updated 8 months ago
- ☆10Updated last year
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆41Updated 2 years ago
- AXI X-Bar☆19Updated 5 years ago
- ☆7Updated 5 months ago
- This is web api for book site☆9Updated 7 months ago
- Integrated Circuit Design Laboratory(IC Lab) at 2019 Fall, NCTU. Final project is a customized 16 bits ISA processor.☆23Updated 3 years ago
- LibreSilicon's Standard Cell Library Generator☆18Updated last year
- API de mapeo para la Universidad de El Salvador (UES), desarrollada por estudiantes de la Facultad Multidisciplinaria Oriental. Proporcio…☆16Updated 6 months ago
- ☆9Updated 9 months ago
- Hardware Description Language Translator☆16Updated last week
- Extended and external tests for Verilator testing☆16Updated 3 weeks ago
- ☆6Updated 6 months ago
- [DATE 2025] haven: hallucination-mitigated llm for verilog code generation aligned with hdl engineers☆18Updated this week
- ☆16Updated 3 weeks ago
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Updated last year