Welcome to LSOracle’s documentation!

Motivation

• Motivation

Tool Guide

• EPFL Logic Synthesis Libraries
  • Alice
  • Kitty
  • Lorina
  • Mockturtle
• Logic Synthesis Oracle
  • Deep Learning Network Classifier
  • Partition Manager
  • Partition View
  • Optimization
    • Optimization with Classification
      • Partitions with only AIG Optimization
      • Partitions with only MIG Optimization
      • High Effort Classification
    • Two-Step Mixed Synthesis
  • Detailed Command Usage

Apendix

• Contact