google / xls
XLS: Accelerated HW Synthesis
☆1,212Updated this week
Related projects ⓘ
Alternatives and complementary repositories for xls
- Modular hardware build system☆862Updated this week
- Circuit IR Compilers and Tools☆1,679Updated this week
- Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server☆1,384Updated last week
- FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility☆889Updated this week
- Hardware Description Languages☆971Updated 3 months ago
- A Linux-capable RISC-V multicore for and by the world☆626Updated this week
- The OpenPiton Platform☆643Updated last month
- RSD: RISC-V Out-of-Order Superscalar Processor☆1,006Updated 2 months ago
- Bluespec Compiler (BSC)☆954Updated this week
- Vitis HLS LLVM source code and examples☆379Updated last month
- SERV - The SErial RISC-V CPU☆1,444Updated this week
- Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.☆1,381Updated this week
- BaseJump STL: A Standard Template Library for SystemVerilog☆526Updated this week
- Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pi…☆1,304Updated this week
- SonicBOOM: The Berkeley Out-of-Order Machine☆1,746Updated last month
- An abstraction library for interfacing EDA tools☆645Updated this week
- Flexible Intermediate Representation for RTL☆731Updated 3 months ago
- Verilator open-source SystemVerilog simulator and lint system☆2,565Updated last week
- Pymtl 3 (Mamba), an open-source Python-based hardware generation, simulation, and verification framework☆388Updated 3 months ago
- Package manager and build abstraction tool for FPGA/ASIC development☆1,206Updated 2 weeks ago
- VeeR EH1 core☆822Updated last year
- An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more☆1,658Updated this week
- An open-source static random access memory (SRAM) compiler.☆836Updated last week
- Parametric floating-point unit with support for standard RISC-V formats and operations as well as transprecision formats.☆438Updated 3 weeks ago
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆407Updated 2 weeks ago
- SystemVerilog to Verilog conversion☆564Updated 3 weeks ago
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆409Updated 2 weeks ago
- RISC-V Formal Verification Framework☆585Updated 2 years ago
- Random instruction generator for RISC-V processor verification☆1,026Updated 2 months ago
- Want a faster ML processor? Do it yourself! -- A framework for playing with custom opcodes to accelerate TensorFlow Lite for Microcontrol…☆475Updated this week