Gate-Level Simulation on a GPU
☆10Nov 22, 2016Updated 9 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
Sorting:
- Python Verilog-AMS Parser☆12Oct 13, 2015Updated 10 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- ☆11Sep 29, 2021Updated 4 years ago
- Project of Addison Elliott and Dan Ashbaugh to create IC layout of 32-bit custom CPU used in teaching digital design at SIUE.☆14Nov 29, 2018Updated 7 years ago
- Newly made ISA8 sound card. Replica to "Music Sintez Cell" from old soviet "Agat" PC☆18Oct 17, 2022Updated 3 years ago
- Convert C files into Verilog☆21Jan 27, 2019Updated 7 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Logic Synthesis System from UC Berkeley (Unofficial Distribution)☆15Jun 4, 2019Updated 6 years ago
- Verilog projects for simulation and logic synthesis (Icarus Verilog, YOSYS)☆22Apr 28, 2021Updated 4 years ago
- ☆17Dec 10, 2018Updated 7 years ago
- ☆19Dec 21, 2020Updated 5 years ago
- Elbrus 2000 (e2k) backend to LCC (Little C Compiler)☆22Sep 9, 2022Updated 3 years ago
- EDA wiki☆53Mar 1, 2023Updated 3 years ago
- A LTSPICE like circuit simulation software, base on Qt☆29Mar 14, 2020Updated 5 years ago
- This project shows the design process of the main blocks of a typical RX frontend system.☆26Jan 2, 2021Updated 5 years ago
- This project presents a 10Gb/s transceiver design using 65nm CMOS process, based on a 10GBASE-KR standard.☆28Feb 21, 2019Updated 7 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- Linux firmware builder for gx6605s.☆13Jun 17, 2025Updated 8 months ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆39Mar 7, 2025Updated 11 months ago
- Spectrum ZX Emulator on STM32F407☆30Nov 26, 2024Updated last year
- Support of e2k architecture for LuaJIT.☆11Jan 30, 2026Updated last month
- A repository for Known Good Designs (KGDs). Does not contain any design files with NDA-sensitive information.☆40Jun 10, 2021Updated 4 years ago
- ☆97Jun 26, 2019Updated 6 years ago
- Code for paper: Localized matrix factorization for recommendation based on matrix block diagonal forms☆10Jan 27, 2015Updated 11 years ago
- ☆11Aug 8, 2018Updated 7 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Studica Open Source ROS for VMX☆10Jan 12, 2022Updated 4 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- Простейшая VGA-видеокарта на Atmega168-20.☆10Apr 4, 2020Updated 5 years ago
- Sparse Matrix Factorization (SMF) is a key component in many machine learning problems and there exist a verity a applications in real-w…☆11Jan 25, 2016Updated 10 years ago
- This repository documents the learning from VSD "RTL Design Using Verilog With SKY130 Technology" workshop☆41Jun 6, 2021Updated 4 years ago
- Compression for Video Conferencing☆14Sep 14, 2022Updated 3 years ago
- This place provide different SRAM cells netlist to be simulated with HSpice tool in sub-20nm FinFET technologies.☆12Dec 31, 2020Updated 5 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- LLM-DSE: Searching Accelerator Parameters with LLM Agents☆13May 22, 2025Updated 9 months ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago