diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-03-06 00:10:52 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-03-06 00:10:52 -0800 |
| commit | ee228339e5e14b7a3651454814e91b80c3cb4b1e (patch) | |
| tree | cc73698b9b76fba94d800cbdbe08d2c18dd33a6e | |
| parent | d86e8d9ed858d2ab081fe1ca5bfacdfb7aa28018 (diff) | |
| download | abc-ee228339e5e14b7a3651454814e91b80c3cb4b1e.tar.gz abc-ee228339e5e14b7a3651454814e91b80c3cb4b1e.tar.bz2 abc-ee228339e5e14b7a3651454814e91b80c3cb4b1e.zip | |
Experiments with word-level data structures.
| -rw-r--r-- | src/base/wln/wlnRead.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wln/wlnRead.c b/src/base/wln/wlnRead.c index b42a4791..95d2dd31 100644 --- a/src/base/wln/wlnRead.c +++ b/src/base/wln/wlnRead.c @@ -154,11 +154,12 @@ static inline int Rtl_SigIsConcat( int s ) { ret #define Rtl_CellForEachOutput( p, pCell, Par, Val, i ) \ Rtl_CellForEachConnect( p, pCell, Par, Val, i ) if ( i < Rtl_CellInputNum(pCell) ) continue; else +extern Gia_Man_t * Cec4_ManSimulateTest3( Gia_Man_t * p, int nBTLimit, int fVerbose ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// - /**Function************************************************************* Synopsis [] @@ -2214,7 +2215,6 @@ finish: } void Rtl_LibSolve( Rtl_Lib_t * pLib, void * pNtk ) { - extern Gia_Man_t * Cec4_ManSimulateTest3( Gia_Man_t * p, int nBTLimit, int fVerbose ); abctime clk = Abc_Clock(); int Status; Rtl_Ntk_t * pTop = pNtk ? (Rtl_Ntk_t *)pNtk : Rtl_LibTop( pLib ); Gia_Man_t * pSwp = Cec4_ManSimulateTest3( pTop->pGia, 1000000, 0 ); |