hriener / lorinaLinks
C++ parsing library for simple formats used in logic synthesis and formal verification
☆37Updated last year
Alternatives and similar repositories for lorina
Users that are interested in lorina are comparing it to the libraries listed below
Sorting:
- An advanced header-only exact synthesis library☆29Updated 2 years ago
- C++ header-only exact synthesis library☆18Updated 2 years ago
- Showcase examples for EPFL logic synthesis libraries☆200Updated last year
- C++ logic network library☆262Updated last month
- DATuner Repository☆17Updated 7 years ago
- A circuit toolkit☆105Updated 5 years ago
- ☆18Updated 4 years ago
- IDEA project source files☆109Updated last month
- A logic synthesis tool☆82Updated 2 months ago
- C++ header-only reasoning library☆17Updated last year
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Updated 2 years ago
- Optimization results for superconducting electronic (SCE) circuits☆15Updated last year
- A GPU acceleration flow for RTL simulation with batch stimulus☆115Updated last year
- ☆104Updated 3 years ago
- ILA Model Database☆24Updated 5 years ago
- C++17 implementation of an AST for Verilog code generation☆24Updated 2 years ago
- CoreIR Symbolic Analyzer☆74Updated 5 years ago
- C++ truth table library☆62Updated 3 months ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆51Updated 2 years ago
- AMulet 2. - A better AIG Multiplier Examination Tool☆26Updated 3 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆81Updated last year
- GPU-based logic synthesis tool☆96Updated last week
- AIGER And-Inverter-Graph Library☆92Updated 3 months ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 4 years ago
- Parsing library for BLIF netlists☆19Updated last year
- ☆87Updated last year
- EDA wiki☆53Updated 2 years ago
- Next generation CGRA generator☆116Updated last week
- OpenPiton Design Benchmark☆26Updated 2 years ago