diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 11:01:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 11:01:54 -0700 |
| commit | 80110cc3285ae29dc3d45a7647b58f6d721de073 (patch) | |
| tree | 5b777655a6a75a068ac4e4b0ad866deb3e1c69f8 /src/map/if/if.h | |
| parent | 24f63cf92cf26378f8f57ba171f541631577726e (diff) | |
| download | abc-80110cc3285ae29dc3d45a7647b58f6d721de073.tar.gz abc-80110cc3285ae29dc3d45a7647b58f6d721de073.tar.bz2 abc-80110cc3285ae29dc3d45a7647b58f6d721de073.zip | |
New feature to optimize delay during mapping.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 7be9f145..8914b464 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -525,6 +525,8 @@ extern int If_CluCheckExt3( void * p, word * pTruth, int nVars, int extern int If_CutDelaySop( If_Man_t * p, If_Cut_t * pCut ); extern int If_CutSopBalanceEval( If_Man_t * p, If_Cut_t * pCut, Vec_Int_t * vAig ); extern int If_CutSopBalancePinDelays( If_Man_t * p, If_Cut_t * pCut, char * pPerm ); +extern int If_CutLutBalanceEval( If_Man_t * p, If_Cut_t * pCut ); +extern int If_CutLutBalancePinDelays( If_Man_t * p, If_Cut_t * pCut, char * pPerm ); /*=== ifDsd.c =============================================================*/ extern If_DsdMan_t * If_DsdManAlloc( int nVars, int nLutSize ); extern void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, int fOccurs, int fTtDump, int fVerbose ); |