Automatic SystemVerilog linting in github actions with the help of Verible
☆37Oct 23, 2024Updated last year
Alternatives and similar repositories for verible-linter-action
Users that are interested in verible-linter-action are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manycore platform Simulation tool for NoC-based platform at a Transactional Level Modeling level☆10Aug 30, 2016Updated 9 years ago
- ☆59Mar 31, 2025Updated 11 months ago
- My local copy of UVM-SystemC☆14Apr 27, 2024Updated last year
- ☆10Mar 18, 2020Updated 6 years ago
- Fast convolution algorithms with Python types☆10Nov 20, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- whatever it means☆15Updated this week
- Extended and external tests for Verilator testing☆17Mar 11, 2026Updated 2 weeks ago
- Provides dot visualizations of chisel/firrtl circuites☆13Mar 12, 2019Updated 7 years ago
- The ISA specification for the ZiCondOps extension.☆19Mar 21, 2024Updated 2 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆34Dec 11, 2025Updated 3 months ago
- Neural networks in Theano (ABANDONED/DISCONTINUED) - see dagbldr for a continuation of this code with some new tricks☆18Feb 26, 2015Updated 11 years ago
- ☆10Nov 2, 2023Updated 2 years ago
- Artifact associated with CHES 2022 paper https://tches.iacr.org/index.php/TCHES/article/view/9817☆12Nov 10, 2023Updated 2 years ago
- Porting FreeRTOS to a RISC-V based system on PYNQ-Z2☆11Dec 26, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Network on Chip for MPSoC☆28Feb 28, 2026Updated last month
- A dependency management tool for hardware projects.☆357Mar 21, 2026Updated last week
- We open-source our layout level fast EM simulation tool, EMSim, to the public.☆14Feb 8, 2024Updated 2 years ago
- WIP USB host abstraction for embedded targets☆12Nov 18, 2023Updated 2 years ago
- Catalyst N1 — Open source neuromorphic processor (Loihi 1 parity). 128 cores, 131K neurons, 14-opcode learning ISA, FPGA-validated on AWS…☆19Mar 15, 2026Updated 2 weeks ago
- ☆119Nov 11, 2025Updated 4 months ago
- Processor support packages☆20Feb 2, 2021Updated 5 years ago
- Misc utility FPGA cores☆13Mar 21, 2023Updated 3 years ago
- LiteX project for the ButterStick bootloader☆14Mar 13, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Cosimulation for the Rapid Open Hardware Development (ROHD) framework with other simulators☆28Jun 17, 2025Updated 9 months ago
- ☆24Dec 8, 2021Updated 4 years ago
- demo on simple channel router☆13Jan 3, 2019Updated 7 years ago
- SVA examples and demonstration☆18Sep 8, 2020Updated 5 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Jun 28, 2025Updated 9 months ago
- Mirror of the Universal Verification Methodology from sourceforge☆37Jan 21, 2015Updated 11 years ago
- SDK Firmware infrastructure, contain RTOS Abstraction Layer, demos, SweRV Processor Support Package, and more ...☆31Dec 9, 2021Updated 4 years ago
- Awesome projects using the Amaranth HDL☆20Feb 6, 2025Updated last year
- Audio DSP on an FPGA using eurorack-pmod + LiteX with firmware in Rust.☆17Oct 7, 2025Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Primitives for GF180MCU provided by GlobalFoundries.☆57Aug 28, 2023Updated 2 years ago
- AHA! Website Source☆19Updated this week
- Template Verilator project for beginners☆13Feb 2, 2023Updated 3 years ago
- A script for scraping and storing cargo crates☆16Feb 15, 2026Updated last month
- ☆13Mar 8, 2024Updated 2 years ago
- A python implementation of Leighton-Micali hierarchical hash based signatures☆19Feb 25, 2017Updated 9 years ago
- Code snippets from articles published on www.amiq.com/consulting/blog☆37Jun 14, 2024Updated last year