ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
rewire_rar.c File Reference
#include "rewire_rar.h"
Include dependency graph for rewire_rar.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START Gia_Man_tGia_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 ///.
 
Abc_Ntk_tAbc_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)
 
Mini_Aig_tMiniAig_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)
 

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_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)
Here is the call graph for this function:

◆ Gia_ManRewire()

ABC_NAMESPACE_IMPL_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.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}
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)
Here is the call 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}
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)
Here is the call graph for this function: