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

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START Abc_Ntk_tAbc_NtkLutmin (Abc_Ntk_t *pNtkInit, int nLutSize, int fReorder, int fVerbose)
 DECLARATIONS ///.
 
void Abc_NtkBddDecExplore (Abc_Obj_t *pNode)
 

Function Documentation

◆ Abc_NtkBddDecExplore()

void Abc_NtkBddDecExplore ( Abc_Obj_t * pNode)

Definition at line 1250 of file abcLutmin.c.

1250{}

◆ Abc_NtkLutmin()

ABC_NAMESPACE_IMPL_START Abc_Ntk_t * Abc_NtkLutmin ( Abc_Ntk_t * pNtkInit,
int nLutSize,
int fReorder,
int fVerbose )

DECLARATIONS ///.

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

FileName [abcLutmin.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Minimization of the number of LUTs.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

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

] FUNCTION DEFINITIONS ///

Definition at line 1249 of file abcLutmin.c.

1249{ return NULL; }
Here is the caller graph for this function: