ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Classes | Typedefs
eSLIM Namespace Reference

Classes

class  CadicalEngine
 
class  CadicalEngineOneShot
 
class  CadicalSolver
 
class  eSLIM_Man
 
struct  eSLIMConfig
 
struct  eSLIMLog
 
class  exactSynthesisEngine
 
class  KissatCmdEngine
 
class  KissatEngineOneShot
 
class  KissatSolver
 
class  OneshotEngine
 
class  OneshotManager
 
class  randomizedBFS
 
class  randomizedBFSFP
 
class  randomizedBFSnoFP
 
class  RelationGenerator
 
class  RelationGeneratorABC
 
class  SelectionStrategy
 
struct  Subcircuit
 

Typedefs

typedef OneshotManager< CadicalEngineOneShot > CadicalOneShot
 
typedef OneshotManager< KissatEngineOneShot > KissatOneShot
 
typedef OneshotManager< KissatCmdEngine > KissatCmdOneShot
 

Detailed Description

CFile****************************************************************

FileName [eSLIMMan.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Using Exact Synthesis with the SAT-based Local Improvement Method (eSLIM).]

Synopsis [eSLIM manager.]

Author [Franz-Xaver Reichl]

Affiliation [University of Freiburg]

Date [Ver. 1.0. Started - March 2025.]

Revision [

Id
eSLIMMan.hpp,v 1.00 2025/03/17 00:00:00 Exp

]

CFile****************************************************************

FileName [relationGeneration.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Using Exact Synthesis with the SAT-based Local Improvement Method (eSLIM).]

Synopsis [Procedures for computing Boolean relations.]

Author [Franz-Xaver Reichl]

Affiliation [University of Freiburg]

Date [Ver. 1.0. Started - March 2025.]

Revision [

Id
relationGeneration.hpp,v 1.00 2025/03/17 00:00:00 Exp

]

CFile****************************************************************

FileName [satInterfaces.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Using Exact Synthesis with the SAT-based Local Improvement Method (eSLIM).]

Synopsis [Interface to SAT solvers.]

Author [Franz-Xaver Reichl]

Affiliation [University of Freiburg]

Date [Ver. 1.0. Started - March 2025.]

Revision [

Id
satInterfaces.hpp,v 1.00 2025/03/17 00:00:00 Exp

]

CFile****************************************************************

FileName [selectionStrategy.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Using Exact Synthesis with the SAT-based Local Improvement Method (eSLIM).]

Synopsis [Procedures for selecting subcircuits.]

Author [Franz-Xaver Reichl]

Affiliation [University of Freiburg]

Date [Ver. 1.0. Started - March 2025.]

Revision [

Id
selectionStrategy.hpp,v 1.00 2025/03/17 00:00:00 Exp

]

CFile****************************************************************

FileName [utils.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Using Exact Synthesis with the SAT-based Local Improvement Method (eSLIM).]

Synopsis [Utilities for the eSLIM package.]

Author [Franz-Xaver Reichl]

Affiliation [University of Freiburg]

Date [Ver. 1.0. Started - March 2025.]

Revision [

Id
utils.hpp,v 1.00 2025/03/17 00:00:00 Exp

]

Typedef Documentation

◆ CadicalOneShot

typedef OneshotManager<CadicalEngineOneShot> eSLIM::CadicalOneShot

Definition at line 230 of file synthesisEngine.hpp.

◆ KissatCmdOneShot

typedef OneshotManager<KissatCmdEngine> eSLIM::KissatCmdOneShot

Definition at line 232 of file synthesisEngine.hpp.

◆ KissatOneShot

typedef OneshotManager<KissatEngineOneShot> eSLIM::KissatOneShot

Definition at line 231 of file synthesisEngine.hpp.