hriener / lorina
C++ parsing library for simple formats used in logic synthesis and formal verification
☆35Updated 9 months ago
Alternatives and similar repositories for lorina:
Users that are interested in lorina are comparing it to the libraries listed below
- C++ header-only exact synthesis library☆16Updated 2 years ago
- An advanced header-only exact synthesis library☆25Updated 2 years ago
- ☆16Updated 4 years ago
- C++ truth table library☆52Updated last year
- C++ header-only reasoning library☆13Updated 8 months ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆14Updated 8 years ago
- Optimization results for superconducting electronic (SCE) circuits☆12Updated last year
- C++ logic network library☆225Updated 5 months ago
- DATuner Repository☆18Updated 6 years ago
- CoreIR Symbolic Analyzer☆64Updated 4 years ago
- Parsing library for BLIF netlists☆18Updated 5 months ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆30Updated last year
- ☆17Updated last week
- AMulet 2. - A better AIG Multiplier Examination Tool☆24Updated 2 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆28Updated 8 months ago
- IDEA project source files☆104Updated 4 months ago
- Showcase examples for EPFL logic synthesis libraries☆193Updated 11 months ago
- ☆26Updated 7 years ago
- Collection of digital hardware modules & projects (benchmarks)☆52Updated 4 months ago
- A circuit toolkit☆100Updated 5 years ago
- Fast Symbolic Repair of Hardware Design Code☆22Updated 2 months ago
- AIGER And-Inverter-Graph Library☆69Updated 3 weeks ago
- EDA physical synthesis optimization kit☆51Updated last year
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆21Updated last week
- DASS HLS Compiler☆29Updated last year
- C++17 implementation of an AST for Verilog code generation☆24Updated last year
- netlistDB - Intermediate format for digital hardware representation with graph database API☆30Updated 4 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 3 years ago
- AMF-Placer 2.0: An open-source timing-driven analytical mixed-size FPGA placer of heterogeneous resources (LUT/FF/LUTRAM/MUX/CARRY/DSP/BR…☆101Updated last year
- A polyhedral compiler for hardware accelerators☆56Updated 8 months ago