ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
abcRenode.c File Reference
#include "base/abc/abc.h"
#include "map/if/if.h"
#include "bool/kit/kit.h"
Include dependency graph for abcRenode.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START Abc_Ntk_tAbc_NtkRenode (Abc_Ntk_t *pNtk, int nFaninMax, int nCubeMax, int nFlowIters, int nAreaIters, int fArea, int fUseBdds, int fUseSops, int fUseCnfs, int fUseMv, int fVerbose)
 DECLARATIONS ///.
 

Function Documentation

◆ Abc_NtkRenode()

ABC_NAMESPACE_IMPL_START Abc_Ntk_t * Abc_NtkRenode ( Abc_Ntk_t * pNtk,
int nFaninMax,
int nCubeMax,
int nFlowIters,
int nAreaIters,
int fArea,
int fUseBdds,
int fUseSops,
int fUseCnfs,
int fUseMv,
int fVerbose )

DECLARATIONS ///.

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

FileName [abcRenode.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis []

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

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

]

Definition at line 316 of file abcRenode.c.

316{ return NULL; }