preusser / q27Links
27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting
☆88Updated 7 years ago
Alternatives and similar repositories for q27
Users that are interested in q27 are comparing it to the libraries listed below
Sorting:
- A circuit toolkit☆105Updated 5 years ago
- The Shang high-level synthesis framework☆120Updated 11 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
- The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…☆98Updated 6 years ago
- An advanced header-only exact synthesis library☆28Updated 2 years ago
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 8 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆101Updated 5 years ago
- A standard for floating point accuracy benchmarks☆53Updated 6 months ago
- C++ truth table library☆61Updated 2 months ago
- CUDD Decision Diagram Package☆143Updated this week
- Library to plot integer sets and maps☆53Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 5 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆147Updated last month
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Tuning Assistant for Floating point to Fixed point Optimization☆20Updated 3 years ago
- LibreCores Web Site☆36Updated 2 years ago
- Random ideas and interesting ideas for things we hope to eventually do.☆87Updated 3 years ago
- A generic test bench written in Bluespec☆55Updated 4 years ago
- Algorithmic C Datatypes☆129Updated 4 months ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- UCB-BAR fork of LLVM! NOT UPSTREAM RISCV LLVM☆122Updated 4 years ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆162Updated 2 months ago
- Python EDA☆334Updated 9 months ago
- A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.☆158Updated 5 years ago
- ESESC: A Fast Multicore Simulator☆138Updated 4 years ago
- Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation☆227Updated last week
- Time-sensitive affine types for predictable hardware generation☆145Updated last week
- ☆26Updated 2 years ago