hriener / lorinaLinks
C++ parsing library for simple formats used in logic synthesis and formal verification
☆39Updated 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☆17Updated 3 years ago
- An advanced header-only exact synthesis library☆30Updated 3 years ago
- Showcase examples for EPFL logic synthesis libraries☆202Updated last year
- C++ logic network library☆274Updated 4 months ago
- IDEA project source files☆111Updated 3 months ago
- ☆19Updated 5 years ago
- DATuner Repository☆17Updated 7 years ago
- ☆104Updated 3 years ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Updated 2 years ago
- Next generation CGRA generator☆118Updated last week
- A GPU acceleration flow for RTL simulation with batch stimulus☆117Updated last year
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆35Updated 7 months ago
- A logic synthesis tool☆85Updated 4 months ago
- GPU-based logic synthesis tool☆97Updated 2 months ago
- CoreIR Symbolic Analyzer☆74Updated 5 years ago
- Optimization results for superconducting electronic (SCE) circuits☆17Updated 2 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Updated 2 years ago
- ☆87Updated last year
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆23Updated 2 weeks ago
- ILA Model Database☆24Updated 5 years ago
- An Open-Source Analytical Placer for Large Scale Heterogeneous FPGAs using Deep-Learning Toolkit☆91Updated 9 months ago
- A circuit toolkit☆107Updated 5 years ago
- OpenPiton Design Benchmark☆28Updated 2 years ago
- C++ truth table library☆64Updated 6 months ago
- Fast, Accurate and Convenient Light-Weight HLS Framework for Academic Design Space Exploration and Evaluation. (LLVM-11)☆62Updated 3 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 4 years ago
- EDA physical synthesis optimization kit☆64Updated 2 years ago
- Tatum: A Fast, Flexible Static Timing Analysis (STA) Engine for Digital Circuits☆63Updated last year
- C++ header-only reasoning library☆16Updated last year
- Parsing library for BLIF netlists☆19Updated last year