diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-05 19:34:24 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-05 19:34:24 -0800 |
commit | d7099e7adc60190dfef9761130bde0eaf352b48d (patch) | |
tree | eeafc42df15a7ad4822ec5b0d490e72a74ca3e75 /src/base/cba/cbaReadSmt.c | |
parent | 35ab8cbdad84e8002db20b0b81681a50058a5bed (diff) | |
download | abc-d7099e7adc60190dfef9761130bde0eaf352b48d.tar.gz abc-d7099e7adc60190dfef9761130bde0eaf352b48d.tar.bz2 abc-d7099e7adc60190dfef9761130bde0eaf352b48d.zip |
Adding binary dump to CBA.
Diffstat (limited to 'src/base/cba/cbaReadSmt.c')
-rw-r--r-- | src/base/cba/cbaReadSmt.c | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/src/base/cba/cbaReadSmt.c b/src/base/cba/cbaReadSmt.c new file mode 100644 index 00000000..5099e80d --- /dev/null +++ b/src/base/cba/cbaReadSmt.c @@ -0,0 +1,66 @@ +/**CFile**************************************************************** + + FileName [cbaReadSmt.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Hierarchical word-level netlist.] + + Synopsis [BLIF parser.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - November 29, 2014.] + + Revision [$Id: cbaReadSmt.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "cba.h" +#include "cbaPrs.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Ptr_t * Prs_ManReadSmt( char * pFileName ) +{ + Vec_Ptr_t * vPrs = NULL; + Prs_Man_t * p = Prs_ManAlloc( pFileName ); + if ( p == NULL ) + return NULL; +// Prs_ManReadLines( p ); + if ( Prs_ManErrorPrint(p) ) + ABC_SWAP( Vec_Ptr_t *, vPrs, p->vNtks ); + Prs_ManFree( p ); + return vPrs; +} + + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |