ovh / sv2chiselLinks
(System)Verilog to Chisel translator
☆116Updated 3 years ago
Alternatives and similar repositories for sv2chisel
Users that are interested in sv2chisel are comparing it to the libraries listed below
Sorting:
- A dynamic verification library for Chisel.☆160Updated last year
- For contributions of Chisel IP to the chisel community.☆70Updated last year
- Examples for creating AXI-interfaced peripherals in Chisel☆75Updated 10 years ago
- high-performance RTL simulator☆186Updated last year
- Provides dot visualizations of chisel/firrtl circuits☆123Updated 2 years ago
- A SystemVerilog source file pickler.☆60Updated last year
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 4 years ago
- AXI Adapter(s) for RISC-V Atomic Operations☆66Updated last month
- Provides various testers for chisel users☆100Updated 3 years ago
- Chisel Learning Journey☆111Updated 2 years ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆127Updated last year
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆118Updated 2 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆183Updated 8 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆98Updated last month
- Chisel components for FPGA projects☆128Updated 2 years ago
- The specification for the FIRRTL language☆62Updated 3 weeks ago
- A modular, parametrizable, and highly flexible Data Movement Accelerator (DMA)☆194Updated 4 months ago
- RISC-V Formal Verification Framework☆177Updated 2 weeks ago
- pulp_soc is the core building component of PULP based SoCs☆82Updated 10 months ago
- ☆82Updated last year
- Open source high performance IEEE-754 floating unit☆89Updated last year
- Lipsi: Probably the Smallest Processor in the World☆89Updated last year
- A RISC-V Core (RV32I) written in Chisel HDL☆107Updated 2 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆98Updated last year
- SystemVerilog synthesis tool☆226Updated 10 months ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆45Updated last year
- RISC-V Verification Interface☆135Updated this week
- RISC-V System on Chip Template☆160Updated 5 months ago
- Advanced Interface Bus (AIB) die-to-die hardware open source☆146Updated last year
- Antmicro's fast, vendor-neutral DMA IP in Chisel☆128Updated 8 months ago