diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-10 12:43:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-10 12:43:01 -0700 |
| commit | 8eebe633d3b08a227f2143b6b48a02ab35e3bab2 (patch) | |
| tree | fb2d718c20de0962bea18e02e8478993ee4cc7a6 /src/base/acb | |
| parent | 747c6a6da5ead32aaa42341dfd347d90b05ded6e (diff) | |
| download | abc-8eebe633d3b08a227f2143b6b48a02ab35e3bab2.tar.gz abc-8eebe633d3b08a227f2143b6b48a02ab35e3bab2.tar.bz2 abc-8eebe633d3b08a227f2143b6b48a02ab35e3bab2.zip | |
Various changes.
Diffstat (limited to 'src/base/acb')
| -rw-r--r-- | src/base/acb/acb.h | 2 | ||||
| -rw-r--r-- | src/base/acb/acbUtil.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/base/acb/acb.h b/src/base/acb/acb.h index 36300efd..9aed414c 100644 --- a/src/base/acb/acb.h +++ b/src/base/acb/acb.h @@ -1028,6 +1028,8 @@ extern void Acb_NtkPrintNode( Acb_Ntk_t * p, int iObj ); extern int Acb_NtkCreateNode( Acb_Ntk_t * p, word uTruth, Vec_Int_t * vSupp ); extern void Acb_NtkUpdateNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp ); +extern Acb_Ntk_t * Acb_VerilogSimpleRead( char * pFileName, char * pFileNameW ); + ABC_NAMESPACE_HEADER_END diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c index e899e163..e7003adf 100644 --- a/src/base/acb/acbUtil.c +++ b/src/base/acb/acbUtil.c @@ -28,6 +28,7 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -662,7 +663,6 @@ Vec_Int_t * Acb_NtkCollectUser( Acb_Ntk_t * p, Vec_Ptr_t * vUser ) int Acb_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, Gia_Man_t ** ppGiaF, Gia_Man_t ** ppGiaG, int fUseBuf, Vec_Int_t ** pvNodes, Vec_Ptr_t ** pvNodesR, Vec_Bit_t ** pvPolar ) { - extern Acb_Ntk_t * Acb_VerilogSimpleRead( char * pFileName, char * pFileNameW ); Acb_Ntk_t * pNtkF = Acb_VerilogSimpleRead( pFileName0, NULL ); Acb_Ntk_t * pNtkG = Acb_VerilogSimpleRead( pFileName1, NULL ); int RetValue = -1; |