preusser / q27Links
27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting
☆87Updated 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 benchmark for random memory accesses☆122Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 5 years ago
- 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 4 years ago
- The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…☆98Updated 5 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆101Updated 5 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- Random ideas and interesting ideas for things we hope to eventually do.☆87Updated 3 years ago
- Library to plot integer sets and maps☆53Updated 8 years ago
- firrtlator is a FIRRTL C++ library☆23Updated 8 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 8 years ago
- The StreamIt compiler infrastructure.☆71Updated 8 years ago
- C++ truth table library☆59Updated last month
- Python EDA☆333Updated 8 months ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 3 years ago
- CUDD Decision Diagram Package☆142Updated last month
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- An advanced header-only exact synthesis library☆27Updated 2 years ago
- UCB-BAR fork of LLVM! NOT UPSTREAM RISCV LLVM☆124Updated 4 years ago
- Tuning Assistant for Floating point to Fixed point Optimization☆20Updated 3 years ago
- Port of LLVM/Clang C compiler to Nyuzi parallel processor architecture☆64Updated 2 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆135Updated 5 years ago
- Lingeling SAT Solver☆103Updated last year
- Boolean Expressions☆20Updated 6 years ago
- Source code for testing the Row Hammer error mechanism in DRAM devices. Described in the ISCA 2014 paper by Kim et al. at http://users.ec…☆228Updated 10 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆75Updated 5 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling …☆75Updated 7 years ago