ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
giaRrr.cpp
Go to the documentation of this file.
1#include "aig/gia/gia.h"
2
3#include "opt/rrr/rrr.h"
4#include "opt/rrr/rrrAbc.h"
5
7
8Gia_Man_t *Gia_ManRrr(Gia_Man_t *pGia, int iSeed, int nWords, int nTimeout, int nSchedulerVerbose, int nPartitionerVerbose, int nOptimizerVerbose, int nAnalyzerVerbose, int nSimulatorVerbose, int nSatSolverVerbose, int fUseBddCspf, int fUseBddMspf, int nConflictLimit, int nSortType, int nOptimizerFlow, int nSchedulerFlow, int nPartitionType, int nDistance, int nJobs, int nThreads, int nPartitionSize, int nPartitionSizeMin, int fDeterministic, int nParallelPartitions, int fOptOnInsert, int fGreedy) {
12 Par.iSeed = iSeed;
13 Par.nWords = nWords;
14 Par.nTimeout = nTimeout;
15 Par.nSchedulerVerbose = nSchedulerVerbose;
16 Par.nPartitionerVerbose = nPartitionerVerbose;
17 Par.nOptimizerVerbose = nOptimizerVerbose;
18 Par.nAnalyzerVerbose = nAnalyzerVerbose;
19 Par.nSimulatorVerbose = nSimulatorVerbose;
20 Par.nSatSolverVerbose = nSatSolverVerbose;
21 Par.fUseBddCspf = fUseBddCspf;
22 Par.fUseBddMspf = fUseBddMspf;
23 Par.nConflictLimit = nConflictLimit;
24 Par.nSortType = nSortType;
25 Par.nOptimizerFlow = nOptimizerFlow;
26 Par.nSchedulerFlow = nSchedulerFlow;
27 Par.nPartitionType = nPartitionType;
28 Par.nDistance = nDistance;
29 Par.nJobs = nJobs;
30 Par.nThreads = nThreads;
31 Par.nPartitionSize = nPartitionSize;
32 Par.nPartitionSizeMin = nPartitionSizeMin;
33 Par.fDeterministic = fDeterministic;
34 Par.nParallelPartitions = nParallelPartitions;
35 Par.fOptOnInsert = fOptOnInsert;
36 Par.fGreedy = fGreedy;
37 rrr::Perform(&ntk, &Par);
38 Gia_Man_t *pNew = rrr::CreateGia(&ntk, false);
39 return pNew;
40}
41
int nWords
Definition abcNpn.c:127
#define ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_END
void Read(Ntk *pFrom, Reader &reader, bool fNew=true)
ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManRrr(Gia_Man_t *pGia, int iSeed, int nWords, int nTimeout, int nSchedulerVerbose, int nPartitionerVerbose, int nOptimizerVerbose, int nAnalyzerVerbose, int nSimulatorVerbose, int nSatSolverVerbose, int fUseBddCspf, int fUseBddMspf, int nConflictLimit, int nSortType, int nOptimizerFlow, int nSchedulerFlow, int nPartitionType, int nDistance, int nJobs, int nThreads, int nPartitionSize, int nPartitionSizeMin, int fDeterministic, int nParallelPartitions, int fOptOnInsert, int fGreedy)
Definition giaRrr.cpp:8
struct Gia_Man_t_ Gia_Man_t
Definition gia.h:96
void Perform(Ntk *pNtk, Parameter const *pPar)
Definition rrr.h:19
void GiaReader(Gia_Man_t *pGia, Ntk *pNtk)
Definition rrrAbc.h:14
Gia_Man_t * CreateGia(Ntk *pNtk, bool fHash=true)
Definition rrrAbc.h:32