From ee228339e5e14b7a3651454814e91b80c3cb4b1e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Mar 2022 00:10:52 -0800 Subject: Experiments with word-level data structures. --- src/base/wln/wlnRead.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/wln/wlnRead.c') 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 ); -- cgit v1.2.3