diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-27 08:01:00 -0700 |
| commit | 416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a (patch) | |
| tree | 0d9c55c15e42c128a10a4da9be6140fa736a3249 /src/map/fpga | |
| parent | e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3 (diff) | |
| download | abc-416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a.tar.gz abc-416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a.tar.bz2 abc-416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a.zip | |
Version abc80327
Diffstat (limited to 'src/map/fpga')
| -rw-r--r-- | src/map/fpga/fpga.c | 4 | ||||
| -rw-r--r-- | src/map/fpga/fpgaInt.h | 2 | ||||
| -rw-r--r-- | src/map/fpga/fpgaLib.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/map/fpga/fpga.c b/src/map/fpga/fpga.c index 40423f4f..31edf689 100644 --- a/src/map/fpga/fpga.c +++ b/src/map/fpga/fpga.c @@ -146,7 +146,7 @@ int Fpga_CommandReadLibrary( Abc_Frame_t * pAbc, int argc, char **argv ) fclose( pFile ); // set the new network - pLib = Fpga_LutLibCreate( FileName, fVerbose ); + pLib = Fpga_LutLibRead( FileName, fVerbose ); if ( pLib == NULL ) { fprintf( pErr, "Reading LUT library has failed.\n" ); @@ -228,7 +228,7 @@ int Fpga_CommandPrintLibrary( Abc_Frame_t * pAbc, int argc, char **argv ) return 0; usage: - fprintf( pErr, "\nusage: read_print [-vh]\n"); + fprintf( pErr, "\nusage: print_lut [-vh]\n"); fprintf( pErr, "\t print the current LUT library\n" ); fprintf( pErr, "\t-v : toggles enabling of verbose output [default = %s]\n", (fVerbose? "yes" : "no") ); fprintf( pErr, "\t-h : print the command usage\n"); diff --git a/src/map/fpga/fpgaInt.h b/src/map/fpga/fpgaInt.h index be790a55..1e4ac1d4 100644 --- a/src/map/fpga/fpgaInt.h +++ b/src/map/fpga/fpgaInt.h @@ -314,7 +314,7 @@ extern void Fpga_NodeAddFaninFanout( Fpga_Node_t * pFanin, Fpga_Nod extern void Fpga_NodeRemoveFaninFanout( Fpga_Node_t * pFanin, Fpga_Node_t * pFanoutToRemove ); extern int Fpga_NodeGetFanoutNum( Fpga_Node_t * pNode ); /*=== fpgaLib.c ============================================================*/ -extern Fpga_LutLib_t * Fpga_LutLibCreate( char * FileName, int fVerbose ); +extern Fpga_LutLib_t * Fpga_LutLibRead( char * FileName, int fVerbose ); extern void Fpga_LutLibFree( Fpga_LutLib_t * p ); extern void Fpga_LutLibPrint( Fpga_LutLib_t * pLutLib ); extern int Fpga_LutLibDelaysAreDiscrete( Fpga_LutLib_t * pLutLib ); diff --git a/src/map/fpga/fpgaLib.c b/src/map/fpga/fpgaLib.c index b1bb4cdc..77fc3a6f 100644 --- a/src/map/fpga/fpgaLib.c +++ b/src/map/fpga/fpgaLib.c @@ -52,7 +52,7 @@ float Fpga_LutLibReadLutArea( Fpga_LutLib_t * p, int Size ) { assert( S SeeAlso [] ***********************************************************************/ -Fpga_LutLib_t * Fpga_LutLibCreate( char * FileName, int fVerbose ) +Fpga_LutLib_t * Fpga_LutLibRead( char * FileName, int fVerbose ) { char pBuffer[1000], * pToken; Fpga_LutLib_t * p; |