ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Functions
rewire_rar.h File Reference
#include "base/abc/abc.h"
#include "aig/gia/gia.h"
#include "aig/miniaig/miniaig.h"
Include dependency graph for rewire_rar.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

ABC_NAMESPACE_HEADER_START Gia_Man_t * Gia_ManRewire (Gia_Man_t *pGia, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fChoices, int fVerbose)
 INCLUDES ///.
 
Gia_Man_t * Gia_ManRewireInt (Gia_Man_t *pGia, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fChoices, int fVerbose)
 
Abc_Ntk_t * Abc_ManRewire (Abc_Ntk_t *pNtk, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
 
Abc_Ntk_t * Abc_ManRewireInt (Abc_Ntk_t *pNtk, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
 
Mini_Aig_t * MiniAig_ManRewire (Mini_Aig_t *pAig, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
 
Mini_Aig_t * MiniAig_ManRewireInt (Mini_Aig_t *pAig, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
 

Function Documentation

◆ Abc_ManRewire()

Abc_Ntk_t * Abc_ManRewire ( Abc_Ntk_t * pNtk,
Gia_Man_t * pExc,
int nIters,
float levelGrowRatio,
int nExpands,
int nGrowth,
int nDivs,
int nFaninMax,
int nTimeOut,
int nMode,
int nMappedMode,
int nDist,
int nSeed,
int fCheck,
int fVerbose )

Definition at line 29 of file rewire_rar.c.

29 {
30 return Abc_ManRewireInt(pNtk, pExc, nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, nMode, nMappedMode, nDist, nSeed, fCheck, fVerbose);
31}
Abc_ManRewireInt
Abc_Ntk_t * Abc_ManRewireInt(Abc_Ntk_t *pNtk, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
Definition rewire_miaig.cpp:43
Here is the call graph for this function:

◆ Abc_ManRewireInt()

Abc_Ntk_t * Abc_ManRewireInt ( Abc_Ntk_t * pNtk,
Gia_Man_t * pExc,
int nIters,
float levelGrowRatio,
int nExpands,
int nGrowth,
int nDivs,
int nFaninMax,
int nTimeOut,
int nMode,
int nMappedMode,
int nDist,
int nSeed,
int fCheck,
int fVerbose )

Definition at line 43 of file rewire_miaig.cpp.

43 {
44 Random_Num(nSeed == 0 ? Abc_Random(0) % 10 : nSeed);
45
46 assert(Abc_NtkCiNum(pNtk) <= 58);
47 int fMapped = nMode == 1;
48 Rewire::Miaig pNtkMiaig(pNtk);
49 if (pExc)
50 pNtkMiaig.setExc(pExc);
51 Rewire::Miaig pNew = pNtkMiaig.rewire(nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, fMapped, nMappedMode, nDist, fCheck, NULL, fVerbose);
52 pNew.setName(Abc_NtkName(pNtk));
53 if (nMode > 0) {
54 pNew.countTransistors(1, nMappedMode);
55 }
56
57 return pNew.toNtk(nMode >= 1);
58}
Abc_Random
unsigned Abc_Random(int fReset)
Definition utilSort.c:1004
Rewire::Miaig::rewire
Miaig rewire(int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int fCheck, Gia_ChMan_t *pChMan, int nVerbose)
Definition rewire_miaig.cpp:1241
Rewire::Miaig::toNtk
Abc_Ntk_t * toNtk(int fMapped=0)
Definition rewire_miaig.cpp:229
Rewire::Miaig::setName
void setName(char *pName)
Definition rewire_miaig.cpp:103
Rewire::Miaig::countTransistors
float countTransistors(int reset=0, int nMode=0)
Definition rewire_miaig.cpp:272
Random_Num
unsigned Random_Num(int Seed)
Definition rewire_rng.c:43
assert
#define assert(ex)
Definition util_old.h:213
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Gia_ManRewire()

ABC_NAMESPACE_HEADER_START Gia_Man_t * Gia_ManRewire ( Gia_Man_t * pGia,
Gia_Man_t * pExc,
int nIters,
float levelGrowRatio,
int nExpands,
int nGrowth,
int nDivs,
int nFaninMax,
int nTimeOut,
int nMode,
int nMappedMode,
int nDist,
int nSeed,
int fCheck,
int fChoices,
int fVerbose )

INCLUDES ///.

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

FileName [rewire_rar.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Re-wiring.]

Synopsis []

Author [Jiun-Hao Chen]

Affiliation [National Taiwan University]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
rewire_rar.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

] PARAMETERS ///

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

FileName [rewire_rar.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Re-wiring.]

Synopsis []

Author [Jiun-Hao Chen]

Affiliation [National Taiwan University]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
rewire_rar.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 25 of file rewire_rar.c.

25 {
26 return Gia_ManRewireInt(pGia, pExc, nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, nMode, nMappedMode, nDist, nSeed, fCheck, fChoices, fVerbose);
27}
Gia_ManRewireInt
ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManRewireInt(Gia_Man_t *pGia, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fChoices, int fVerbose)
Definition rewire_miaig.cpp:29
Here is the call graph for this function:

◆ Gia_ManRewireInt()

Gia_Man_t * Gia_ManRewireInt ( Gia_Man_t * pGia,
Gia_Man_t * pExc,
int nIters,
float levelGrowRatio,
int nExpands,
int nGrowth,
int nDivs,
int nFaninMax,
int nTimeOut,
int nMode,
int nMappedMode,
int nDist,
int nSeed,
int fCheck,
int fChoices,
int fVerbose )

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

FileName [rewire_miaig.cpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Re-wiring.]

Synopsis []

Author [Jiun-Hao Chen]

Affiliation [National Taiwan University]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
rewire_miaig.cpp,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 29 of file rewire_miaig.cpp.

29 {
30 Random_Num(nSeed == 0 ? Abc_Random(0) % 10 : nSeed);
31 Gia_ChMan_t *pChMan = fChoices ? Gia_ManDupChoicesStart(pGia) : NULL;
32
33 assert(Gia_ManCiNum(pGia) <= 58);
34 Rewire::Miaig pNtkMiaig(pGia);
35 if (pExc)
36 pNtkMiaig.setExc(pExc);
37 Rewire::Miaig pNew = pNtkMiaig.rewire(nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, nMode, nMappedMode, nDist, fCheck, pChMan, fVerbose);
38 pNew.setName(Gia_ManName(pGia));
39
40 return pChMan ? Gia_ManDupChoicesFinish(pChMan) : pNew.toGia();
41}
Gia_ManDupChoicesFinish
Gia_Man_t * Gia_ManDupChoicesFinish(Gia_ChMan_t *pMan)
Definition giaDup.c:6464
Gia_ChMan_t
struct Gia_ChMan_t_ Gia_ChMan_t
Definition gia.h:1416
Gia_ManDupChoicesStart
Gia_ChMan_t * Gia_ManDupChoicesStart(Gia_Man_t *pGia)
Definition giaDup.c:6425
Here is the call graph for this function:
Here is the caller graph for this function:

◆ MiniAig_ManRewire()

Mini_Aig_t * MiniAig_ManRewire ( Mini_Aig_t * pAig,
Gia_Man_t * pExc,
int nIters,
float levelGrowRatio,
int nExpands,
int nGrowth,
int nDivs,
int nFaninMax,
int nTimeOut,
int nMode,
int nMappedMode,
int nDist,
int nSeed,
int fCheck,
int fVerbose )

Definition at line 33 of file rewire_rar.c.

33 {
34 return MiniAig_ManRewireInt(pAig, pExc, nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, nMode, nMappedMode, nDist, nSeed, fCheck, fVerbose);
35}
MiniAig_ManRewireInt
Mini_Aig_t * MiniAig_ManRewireInt(Mini_Aig_t *pAig, Gia_Man_t *pExc, int nIters, float levelGrowRatio, int nExpands, int nGrowth, int nDivs, int nFaninMax, int nTimeOut, int nMode, int nMappedMode, int nDist, int nSeed, int fCheck, int fVerbose)
Definition rewire_miaig.cpp:60
Here is the call graph for this function:

◆ MiniAig_ManRewireInt()

Mini_Aig_t * MiniAig_ManRewireInt ( Mini_Aig_t * pAig,
Gia_Man_t * pExc,
int nIters,
float levelGrowRatio,
int nExpands,
int nGrowth,
int nDivs,
int nFaninMax,
int nTimeOut,
int nMode,
int nMappedMode,
int nDist,
int nSeed,
int fCheck,
int fVerbose )

Definition at line 60 of file rewire_miaig.cpp.

60 {
61 Random_Num(nSeed == 0 ? Abc_Random(0) % 10 : nSeed);
62
63 assert(Mini_AigPiNum(pAig) <= 58);
64 Rewire::Miaig pNtkMiaig(pAig);
65 if (pExc)
66 pNtkMiaig.setExc(pExc);
67 Rewire::Miaig pNew = pNtkMiaig.rewire(nIters, levelGrowRatio, nExpands, nGrowth, nDivs, nFaninMax, nTimeOut, nMode, nMappedMode, nDist, fCheck, NULL, fVerbose);
68
69 return pNew.toMiniAig();
70}
Rewire::Miaig::toMiniAig
Mini_Aig_t * toMiniAig(void)
Definition rewire_miaig.cpp:206
Here is the call graph for this function:
Here is the caller graph for this function: