preusser / q27Links
27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting
☆83Updated 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☆102Updated 5 years ago
- materials available to the public☆25Updated 6 months ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆142Updated last week
- The Shang high-level synthesis framework☆119Updated 11 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆101Updated 5 years ago
- C++ truth table library☆56Updated 2 weeks 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…☆99Updated 5 years ago
- An advanced header-only exact synthesis library☆26Updated 2 years ago
- Chisel/Firrtl execution engine☆153Updated 9 months ago
- soap - Structural Optimisation of Arithmetic Programs☆23Updated 9 years ago
- Random ideas and interesting ideas for things we hope to eventually do.☆87Updated 3 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆154Updated 8 months ago
- Showcase examples for EPFL logic synthesis libraries☆194Updated last year
- A generic test bench written in Bluespec☆53Updated 4 years ago
- Algorithmic C Datatypes☆123Updated 2 weeks ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆36Updated 11 months ago
- RiscyOO: RISC-V Out-of-Order Processor☆156Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆87Updated 5 years ago
- Open-Source Posit RISC-V Core with Quire Capability☆59Updated 4 months ago
- Tuning Assistant for Floating point to Fixed point Optimization☆19Updated 3 years ago
- A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Si…☆280Updated 2 weeks ago
- Macro placement tool for OpenROAD flow☆23Updated 4 years ago
- ☆25Updated 4 years ago
- Chisel library for Unum Type-III Posit Arithmetic☆38Updated 2 months ago
- Time-sensitive affine types for predictable hardware generation☆143Updated 10 months ago
- A core language for rule-based hardware design 🦑☆154Updated 7 months ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 7 years ago
- A reconfigurable and extensible VLIW processor implemented in VHDL☆32Updated 10 years ago