diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 00:59:54 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 00:59:54 -0800 |
| commit | 5eedc74a153fd2242a56f06f208bee7e3b0dfaf7 (patch) | |
| tree | 318e31a46f319a30ae79b1286158d344fc56bce7 /src/map/if/if.h | |
| parent | 8355eb1d41cde28c5acca0790124bd15790d906f (diff) | |
| download | abc-5eedc74a153fd2242a56f06f208bee7e3b0dfaf7.tar.gz abc-5eedc74a153fd2242a56f06f208bee7e3b0dfaf7.tar.bz2 abc-5eedc74a153fd2242a56f06f208bee7e3b0dfaf7.zip | |
Adding box library.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 27 |
1 files changed, 26 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 4505f6d4..a2d047af 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -312,6 +312,23 @@ struct If_And_t_ unsigned Delay : 16; // delay }; +typedef struct If_Box_t_ If_Box_t; +struct If_Box_t_ +{ + char * pName; + int Id; + int fWhite; + int nPis; + int nPos; + int * pDelays; +}; + +typedef struct If_LibBox_t_ If_LibBox_t; +struct If_LibBox_t_ +{ + Vec_Ptr_t * vBoxes; +}; + static inline If_Obj_t * If_Regular( If_Obj_t * p ) { return (If_Obj_t *)((ABC_PTRUINT_T)(p) & ~01); } static inline If_Obj_t * If_Not( If_Obj_t * p ) { return (If_Obj_t *)((ABC_PTRUINT_T)(p) ^ 01); } static inline If_Obj_t * If_NotCond( If_Obj_t * p, int c ) { return (If_Obj_t *)((ABC_PTRUINT_T)(p) ^ (c)); } @@ -481,9 +498,17 @@ extern void If_LutLibFree( If_Lib_t * pLutLib ); extern void If_LutLibPrint( If_Lib_t * pLutLib ); extern int If_LutLibDelaysAreDiscrete( If_Lib_t * pLutLib ); extern int If_LutLibDelaysAreDifferent( If_Lib_t * pLutLib ); -extern If_Lib_t * If_SetSimpleLutLib( int nLutSize ); +extern If_Lib_t * If_LutLibSetSimple( int nLutSize ); extern float If_LutLibFastestPinDelay( If_Lib_t * p ); extern float If_LutLibSlowestPinDelay( If_Lib_t * p ); +/*=== ifLibBox.c =============================================================*/ +extern If_LibBox_t * If_LibBoxStart(); +extern void If_LibBoxFree( If_LibBox_t * p ); +extern If_Box_t * If_LibBoxReadBox( If_LibBox_t * p, int Id ); +extern void If_LibBoxAdd( If_LibBox_t * p, If_Box_t * pBox ); +extern If_LibBox_t * If_LibBoxRead( char * pFileName ); +extern void If_LibBoxPrint( FILE * pFile, If_LibBox_t * p ); +extern void If_LibBoxWrite( char * pFileName, If_LibBox_t * p ); /*=== ifMan.c =============================================================*/ extern If_Man_t * If_ManStart( If_Par_t * pPars ); extern void If_ManRestart( If_Man_t * p ); |