A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.
☆44Apr 13, 2023Updated 3 years ago
Alternatives and similar repositories for bsg_sv2v
Users that are interested in bsg_sv2v are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- fakeram generator for use by researchers who do not have access to commercial ram generators☆38Jan 13, 2023Updated 3 years ago
- ☆14Jun 12, 2024Updated last year
- ☆10Apr 8, 2021Updated 5 years ago
- ☆13Feb 3, 2025Updated last year
- Fast Symbolic Repair of Hardware Design Code☆35Jan 20, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An Open-Source Silicon Compiler for Reduced-Complexity Reconfigurable Fabrics☆15Apr 1, 2026Updated 2 weeks ago
- CATCH 1.0, Initial full release of CATCH cost model.☆16Mar 3, 2026Updated last month
- ☆33Jan 7, 2025Updated last year
- SystemVerilog to Verilog conversion☆719Mar 28, 2026Updated 3 weeks ago
- Sphinx domain to allow integration of Verilog / SystemVerilog documentation into Sphinx.☆26Mar 1, 2021Updated 5 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆38Updated this week
- A RISC-V CPU implementation☆17Apr 9, 2020Updated 6 years ago
- This is the XDM netlist converter, used to convert PSPICE and HSPICE netists into Xyce format.☆24Feb 15, 2024Updated 2 years ago
- A configurable SRAM generator☆61Mar 4, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Simple MIDAS Examples☆12Nov 25, 2018Updated 7 years ago
- ☆19Sep 23, 2022Updated 3 years ago
- egraph <-> json☆17Dec 29, 2025Updated 3 months ago
- Nirah is a project aimed at automatically wrapping verilator C++ models in python in order for high level, extendable control and verific…☆12Mar 6, 2019Updated 7 years ago
- Cross compile FPGA tools☆21Jan 4, 2021Updated 5 years ago
- BSG Replicant: Cosimulation and Emulation Infrastructure for HammerBlade☆38Mar 15, 2026Updated last month
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 5 months ago
- HDL tools layer for OpenEmbedded☆17Oct 20, 2024Updated last year
- An SRAM IP Uniquely designed with open source tools. Static RAM is a type of random-access memory that uses latching circuitry (flip-flop…☆14Jul 22, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Nov 27, 2024Updated last year
- USB 2.0 Device IP core using Migen with out-of-box AXI Slave Interface☆13Oct 24, 2017Updated 8 years ago
- ☆18Jul 9, 2025Updated 9 months ago
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Jul 12, 2023Updated 2 years ago
- This GitHub repo is for the OpenROAD and CircuitOps Tutorial at ASP-DAC 2024☆56Jan 19, 2025Updated last year
- ☆46Mar 2, 2023Updated 3 years ago
- work in progress, playing around with btor2 in rust☆12Apr 9, 2026Updated last week
- shdl6800: A 6800 processor written in SpinalHDL☆25Jan 12, 2020Updated 6 years ago
- Small footprint and configurable Inter-Chip communication cores☆66Feb 20, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆40Jun 13, 2015Updated 10 years ago
- Hypergraph Partitioning: benchmarks, evaluators, best known solutions and codes☆83Jan 15, 2026Updated 3 months ago
- Network components (NIC, Switch) for FireBox☆19Oct 27, 2024Updated last year
- DATC Robust Design Flow.☆35Jan 21, 2020Updated 6 years ago
- tools regarding on analog modeling, validation, and generation☆22Apr 11, 2023Updated 3 years ago
- Characterizer☆33Nov 19, 2025Updated 5 months ago
- A collection of core generators to use with FuseSoC☆18Aug 23, 2024Updated last year