hriener / lorinaLinks
C++ parsing library for simple formats used in logic synthesis and formal verification
☆38Updated last year
Alternatives and similar repositories for lorina
Users that are interested in lorina are comparing it to the libraries listed below
Sorting:
- C++ header-only exact synthesis library☆18Updated 2 years ago
- An advanced header-only exact synthesis library☆30Updated 3 years ago
- Showcase examples for EPFL logic synthesis libraries☆201Updated last year
- ☆18Updated 5 years ago
- IDEA project source files☆111Updated 2 months ago
- C++ logic network library☆272Updated 3 months ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Updated 2 years ago
- Next generation CGRA generator☆118Updated last week
- C++ truth table library☆64Updated 5 months ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 4 years ago
- ☆29Updated 8 years ago
- DATuner Repository☆17Updated 7 years ago
- A circuit toolkit☆106Updated 5 years ago
- Optimization results for superconducting electronic (SCE) circuits☆17Updated 2 years ago
- C++ header-only reasoning library☆17Updated last year
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- A logic synthesis tool☆84Updated 4 months ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Updated 2 years ago
- OpenPiton Design Benchmark☆28Updated 2 years ago
- ☆87Updated last year
- ☆104Updated 3 years ago
- A GPU acceleration flow for RTL simulation with batch stimulus☆116Updated last year
- A polyhedral compiler for hardware accelerators☆59Updated last year
- GPU-based logic synthesis tool☆97Updated last month
- ☆62Updated this week
- Fast, Accurate and Convenient Light-Weight HLS Framework for Academic Design Space Exploration and Evaluation. (LLVM-11)☆62Updated 3 years ago
- CoreIR Symbolic Analyzer☆74Updated 5 years ago
- CGRA framework with vectorization support.☆42Updated last week
- ☆17Updated 2 years ago
- EDA wiki☆53Updated 2 years ago