RohanNagar / parallel-logic-networks
Gate-Level Simulation on a GPU
☆9Updated 8 years ago
Alternatives and similar repositories for parallel-logic-networks:
Users that are interested in parallel-logic-networks are comparing it to the libraries listed below
- HeteroSim is a full system simulator supporting x86 multicore processors combined with a FPGA via bus-based architecture. Flexible design…☆21Updated 8 years ago
- Benchmarks for Yosys development☆23Updated 5 years ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated 4 months ago
- A Verilog Synthesis Regression Test☆37Updated last year
- An LLVM based mini-C to Verilog High-level Synthesis tool☆35Updated 3 weeks ago
- Verilog projects for simulation and logic synthesis (Icarus Verilog, YOSYS)☆21Updated 3 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated last year
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆40Updated last year
- C library for the emulation of reduced-precision floating point types☆48Updated 2 years ago
- Synthesiser for Asynchronous Verilog Language☆19Updated 10 years ago
- A RocketChip rv64imac blinky for yosys/nextpnr/trellis & the Lattice ECP5 fpga☆26Updated 5 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated 2 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- An example OMI Device FPGA with 2 DDR4 memory ports☆16Updated 2 years ago
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆23Updated 2 weeks ago
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 4 years ago
- A reconfigurable and extensible VLIW processor implemented in VHDL☆32Updated 10 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated 3 weeks ago
- ☆9Updated 2 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆33Updated 8 months ago
- An open-source custom cache generator.☆33Updated last year
- A powerful and modern open-source architecture description language.☆42Updated 7 years ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆23Updated last year
- KLayout technology files for ASAP7 FinFET educational process☆20Updated 2 years ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆21Updated this week
- Verilog FPGA Parts Library. Old Octavo soft-CPU project.☆74Updated 6 years ago
- RISC-V System on Chip Builder☆12Updated 4 years ago