LSOracle
stable
Motivation
Motivation
Tool Guide
EPFL Logic Synthesis Libraries
Logic Synthesis Oracle
Sequential MIG Support
Apendix
Contact
LSOracle
Docs
»
Welcome to LSOracle’s documentation!
Edit on GitHub
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
Brute Force Classification
Two-Step Mixed Synthesis
Sequential MIG Support
Apendix
Contact
Read the Docs
v: stable
Versions
stable
master
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.