preusser / q27Links
27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting
☆92Updated 8 years ago
Alternatives and similar repositories for q27
Users that are interested in q27 are comparing it to the libraries listed below
Sorting:
- The Shang high-level synthesis framework☆120Updated 11 years ago
- A circuit toolkit☆106Updated 5 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 5 years ago
- Random ideas and interesting ideas for things we hope to eventually do.☆86Updated 3 years ago
- A benchmark for random memory accesses☆126Updated 3 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆101Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 6 years ago
- firrtlator is a FIRRTL C++ library☆23Updated 9 years ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 8 years ago
- soap - Structural Optimisation of Arithmetic Programs☆24Updated 9 years ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆152Updated last month
- Exploration of alternative hardware description languages☆28Updated 7 years ago
- Block-diagram style digital logic visualizer☆23Updated 10 years ago
- Torc: Tools for Open Reconfigurable Computing☆39Updated 8 years ago
- Library to plot integer sets and maps☆53Updated 9 years ago
- CUDD Decision Diagram Package☆150Updated 3 weeks ago
- The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…☆98Updated 6 years ago
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- materials available to the public☆29Updated this week
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 4 years ago
- Tuning Assistant for Floating point to Fixed point Optimization☆19Updated 3 years ago
- An advanced header-only exact synthesis library☆30Updated 3 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- C++ truth table library☆64Updated 5 months ago
- ESESC: A Fast Multicore Simulator☆140Updated 2 months ago
- LibreCores Web Site☆36Updated 3 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆30Updated this week
- RISC-V port to Parallella Board☆13Updated 9 years ago
- UCB-BAR fork of LLVM! NOT UPSTREAM RISCV LLVM☆122Updated 4 years ago