diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 12:41:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-20 12:41:59 -0700 |
| commit | bc44087bacba80b775ac7956ed9032c517308e03 (patch) | |
| tree | 31c8508d8bf2c2da05120dd90a607a63faf3fc05 /src/base/io/ioAbc.h | |
| parent | fdfb083c5c4f789c74aa573144b0aec45d1aaa76 (diff) | |
| download | abc-bc44087bacba80b775ac7956ed9032c517308e03.tar.gz abc-bc44087bacba80b775ac7956ed9032c517308e03.tar.bz2 abc-bc44087bacba80b775ac7956ed9032c517308e03.zip | |
Modified 'read' to read all types of libraries (genlib, liberty, scl).
Diffstat (limited to 'src/base/io/ioAbc.h')
| -rw-r--r-- | src/base/io/ioAbc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/io/ioAbc.h b/src/base/io/ioAbc.h index a5f56bfb..039f53c0 100644 --- a/src/base/io/ioAbc.h +++ b/src/base/io/ioAbc.h @@ -134,6 +134,7 @@ extern int Io_WriteSmv( Abc_Ntk_t * pNtk, char * FileName ); extern void Io_WriteVerilog( Abc_Ntk_t * pNtk, char * FileName ); /*=== abcUtil.c ===============================================================*/ extern Io_FileType_t Io_ReadFileType( char * pFileName ); +extern Io_FileType_t Io_ReadLibType( char * pFileName ); extern Abc_Ntk_t * Io_ReadNetlist( char * pFileName, Io_FileType_t FileType, int fCheck ); extern Abc_Ntk_t * Io_Read( char * pFileName, Io_FileType_t FileType, int fCheck ); extern void Io_Write( Abc_Ntk_t * pNtk, char * pFileName, Io_FileType_t FileType ); |