mirror of https://github.com/YosysHQ/abc.git
Remove obsolete ACB command interface
This commit is contained in:
Alan Mishchenko
parent
e4383a8d67
commit
d389f88285
|
|
@ -1,735 +0,0 @@
|
||||||
/**CFile****************************************************************
|
|
||||||
|
|
||||||
FileName [acbCom.c]
|
|
||||||
|
|
||||||
SystemName [ABC: Logic synthesis and verification system.]
|
|
||||||
|
|
||||||
PackageName [Hierarchical word-level netlist.]
|
|
||||||
|
|
||||||
Synopsis [Command handlers.]
|
|
||||||
|
|
||||||
Author [Alan Mishchenko]
|
|
||||||
|
|
||||||
Affiliation [UC Berkeley]
|
|
||||||
|
|
||||||
Date [Ver. 1.0. Started - November 29, 2014.]
|
|
||||||
|
|
||||||
Revision [$Id: acbCom.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $]
|
|
||||||
|
|
||||||
***********************************************************************/
|
|
||||||
|
|
||||||
#include "acb.h"
|
|
||||||
#include "proof/cec/cec.h"
|
|
||||||
#include "base/main/mainInt.h"
|
|
||||||
|
|
||||||
ABC_NAMESPACE_IMPL_START
|
|
||||||
|
|
||||||
#if 0
|
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////
|
|
||||||
/// DECLARATIONS ///
|
|
||||||
////////////////////////////////////////////////////////////////////////
|
|
||||||
|
|
||||||
static int Acb_CommandRead ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandWrite ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandPs ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandPut ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandGet ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandClp ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandBlast ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandCec ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
static int Acb_CommandTest ( Abc_Frame_t * pAbc, int argc, char ** argv );
|
|
||||||
|
|
||||||
static inline Acb_Man_t * Acb_AbcGetMan( Abc_Frame_t * pAbc ) { return (Acb_Man_t *)pAbc->pAbcCba; }
|
|
||||||
static inline void Acb_AbcFreeMan( Abc_Frame_t * pAbc ) { if ( pAbc->pAbcCba ) Acb_ManFree(Acb_AbcGetMan(pAbc)); }
|
|
||||||
static inline void Acb_AbcUpdateMan( Abc_Frame_t * pAbc, Acb_Man_t * p ) { Acb_AbcFreeMan(pAbc); pAbc->pAbcCba = p; }
|
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////
|
|
||||||
/// FUNCTION DEFINITIONS ///
|
|
||||||
////////////////////////////////////////////////////////////////////////
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
void Acb_Init( Abc_Frame_t * pAbc )
|
|
||||||
{
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@read", Acb_CommandRead, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@write", Acb_CommandWrite, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@ps", Acb_CommandPs, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@put", Acb_CommandPut, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@get", Acb_CommandGet, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@clp", Acb_CommandClp, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@blast", Acb_CommandBlast, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@cec", Acb_CommandCec, 0 );
|
|
||||||
Cmd_CommandAdd( pAbc, "New word level", "@test", Acb_CommandTest, 0 );
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
void Acb_End( Abc_Frame_t * pAbc )
|
|
||||||
{
|
|
||||||
Acb_AbcFreeMan( pAbc );
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandRead( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
FILE * pFile;
|
|
||||||
Acb_Man_t * p = NULL;
|
|
||||||
char * pFileName = NULL;
|
|
||||||
int c, fTest = 0, fDfs = 0, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "tdvh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 't':
|
|
||||||
fTest ^= 1;
|
|
||||||
break;
|
|
||||||
case 'd':
|
|
||||||
fDfs ^= 1;
|
|
||||||
break;
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( argc != globalUtilOptind + 1 )
|
|
||||||
{
|
|
||||||
printf( "Acb_CommandRead(): Input file name should be given on the command line.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
// get the file name
|
|
||||||
pFileName = argv[globalUtilOptind];
|
|
||||||
if ( (pFile = fopen( pFileName, "r" )) == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Cannot open input file \"%s\". ", pFileName );
|
|
||||||
if ( (pFileName = Extra_FileGetSimilarName( pFileName, ".v", ".blif", ".smt", ".acb", NULL )) )
|
|
||||||
Abc_Print( 1, "Did you mean \"%s\"?", pFileName );
|
|
||||||
Abc_Print( 1, "\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
fclose( pFile );
|
|
||||||
if ( fTest )
|
|
||||||
{
|
|
||||||
if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) )
|
|
||||||
Prs_ManReadBlifTest( pFileName );
|
|
||||||
else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) )
|
|
||||||
Prs_ManReadVerilogTest( pFileName );
|
|
||||||
else
|
|
||||||
{
|
|
||||||
printf( "Unrecognized input file extension.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) )
|
|
||||||
p = Acb_ManReadBlif( pFileName );
|
|
||||||
else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) )
|
|
||||||
p = Acb_ManReadVerilog( pFileName );
|
|
||||||
else if ( !strcmp( Extra_FileNameExtension(pFileName), "acb" ) )
|
|
||||||
p = Acb_ManReadCba( pFileName );
|
|
||||||
else
|
|
||||||
{
|
|
||||||
printf( "Unrecognized input file extension.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
if ( fDfs )
|
|
||||||
{
|
|
||||||
Acb_Man_t * pTemp;
|
|
||||||
p = Acb_ManDup( pTemp = p, Acb_NtkCollectDfs );
|
|
||||||
Acb_ManFree( pTemp );
|
|
||||||
}
|
|
||||||
Acb_AbcUpdateMan( pAbc, p );
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @read [-tdvh] <file_name>\n" );
|
|
||||||
Abc_Print( -2, "\t reads hierarchical design\n" );
|
|
||||||
Abc_Print( -2, "\t-t : toggle testing the parser [default = %s]\n", fTest? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-d : toggle computing DFS ordering [default = %s]\n", fDfs? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandWrite( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Acb_Man_t * p = Acb_AbcGetMan(pAbc);
|
|
||||||
char * pFileName = NULL;
|
|
||||||
int fInclineCats = 0;
|
|
||||||
int c, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "cvh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 'c':
|
|
||||||
fInclineCats ^= 1;
|
|
||||||
break;
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandWrite(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
if ( argc == globalUtilOptind + 1 )
|
|
||||||
pFileName = argv[globalUtilOptind];
|
|
||||||
else if ( argc == globalUtilOptind && p )
|
|
||||||
{
|
|
||||||
pFileName = Extra_FileNameGenericAppend( Acb_ManSpec(p) ? Acb_ManSpec(p) : Acb_ManName(p), "_out.v" );
|
|
||||||
printf( "Generated output file name \"%s\".\n", pFileName );
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
printf( "Output file name should be given on the command line.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
// perform writing
|
|
||||||
if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) )
|
|
||||||
Acb_ManWriteBlif( pFileName, p );
|
|
||||||
else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) )
|
|
||||||
Acb_ManWriteVerilog( pFileName, p, fInclineCats );
|
|
||||||
else if ( !strcmp( Extra_FileNameExtension(pFileName), "acb" ) )
|
|
||||||
Acb_ManWriteCba( pFileName, p );
|
|
||||||
else
|
|
||||||
{
|
|
||||||
printf( "Unrecognized output file extension.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @write [-cvh]\n" );
|
|
||||||
Abc_Print( -2, "\t writes the design into a file in BLIF or Verilog\n" );
|
|
||||||
Abc_Print( -2, "\t-c : toggle inlining input concatenations [default = %s]\n", fInclineCats? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandPs( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Acb_Man_t * p = Acb_AbcGetMan(pAbc);
|
|
||||||
int nModules = 0;
|
|
||||||
int fShowMulti = 0;
|
|
||||||
int fShowAdder = 0;
|
|
||||||
int fDistrib = 0;
|
|
||||||
int c, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "Mmadvh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 'M':
|
|
||||||
if ( globalUtilOptind >= argc )
|
|
||||||
{
|
|
||||||
Abc_Print( -1, "Command line switch \"-M\" should be followed by an integer.\n" );
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
nModules = atoi(argv[globalUtilOptind]);
|
|
||||||
globalUtilOptind++;
|
|
||||||
if ( nModules < 0 )
|
|
||||||
goto usage;
|
|
||||||
break;
|
|
||||||
case 'm':
|
|
||||||
fShowMulti ^= 1;
|
|
||||||
break;
|
|
||||||
case 'a':
|
|
||||||
fShowAdder ^= 1;
|
|
||||||
break;
|
|
||||||
case 'd':
|
|
||||||
fDistrib ^= 1;
|
|
||||||
break;
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandPs(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
if ( nModules )
|
|
||||||
{
|
|
||||||
Acb_ManPrintStats( p, nModules, fVerbose );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
Acb_NtkPrintStatsFull( Acb_ManRoot(p), fDistrib, fVerbose );
|
|
||||||
if ( fShowMulti )
|
|
||||||
Acb_NtkPrintNodes( Acb_ManRoot(p), ABC_OPER_ARI_MUL );
|
|
||||||
if ( fShowAdder )
|
|
||||||
Acb_NtkPrintNodes( Acb_ManRoot(p), ABC_OPER_ARI_ADD );
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @ps [-M num] [-madvh]\n" );
|
|
||||||
Abc_Print( -2, "\t prints statistics\n" );
|
|
||||||
Abc_Print( -2, "\t-M num : the number of first modules to report [default = %d]\n", nModules );
|
|
||||||
Abc_Print( -2, "\t-m : toggle printing multipliers [default = %s]\n", fShowMulti? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-a : toggle printing adders [default = %s]\n", fShowAdder? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-d : toggle printing distrubition [default = %s]\n", fDistrib? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandPut( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Acb_Man_t * p = Acb_AbcGetMan(pAbc);
|
|
||||||
Gia_Man_t * pGia = NULL;
|
|
||||||
int c, fBarBufs = 1, fSeq = 0, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "bsvh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 'b':
|
|
||||||
fBarBufs ^= 1;
|
|
||||||
break;
|
|
||||||
case 's':
|
|
||||||
fSeq ^= 1;
|
|
||||||
break;
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandPut(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
pGia = Acb_ManBlast( p, fBarBufs, fSeq, fVerbose );
|
|
||||||
if ( pGia == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandPut(): Conversion to AIG has failed.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
Abc_FrameUpdateGia( pAbc, pGia );
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @put [-bsvh]\n" );
|
|
||||||
Abc_Print( -2, "\t extracts AIG from the hierarchical design\n" );
|
|
||||||
Abc_Print( -2, "\t-b : toggle using barrier buffers [default = %s]\n", fBarBufs? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-s : toggle blasting sequential elements [default = %s]\n", fSeq? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandGet( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Acb_Man_t * pNew = NULL, * p = Acb_AbcGetMan(pAbc);
|
|
||||||
int c, fMapped = 0, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "mvh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 'm':
|
|
||||||
fMapped ^= 1;
|
|
||||||
break;
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandGet(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
if ( fMapped )
|
|
||||||
{
|
|
||||||
if ( pAbc->pNtkCur == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandGet(): There is no current mapped design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
pNew = Acb_ManInsertAbc( p, pAbc->pNtkCur );
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
if ( pAbc->pGia == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandGet(): There is no current AIG.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
pNew = Acb_ManInsertGia( p, pAbc->pGia );
|
|
||||||
}
|
|
||||||
Acb_AbcUpdateMan( pAbc, pNew );
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @get [-mvh]\n" );
|
|
||||||
Abc_Print( -2, "\t extracts AIG or mapped network into the hierarchical design\n" );
|
|
||||||
Abc_Print( -2, "\t-m : toggle using mapped network from main-space [default = %s]\n", fMapped? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandClp( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Acb_Man_t * pNew = NULL, * p = Acb_AbcGetMan(pAbc);
|
|
||||||
int c, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandGet(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
pNew = Acb_ManCollapse( p );
|
|
||||||
Acb_AbcUpdateMan( pAbc, pNew );
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @clp [-vh]\n" );
|
|
||||||
Abc_Print( -2, "\t collapses the current hierarchical design\n" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandBlast( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Gia_Man_t * pNew = NULL;
|
|
||||||
Acb_Man_t * p = Acb_AbcGetMan(pAbc);
|
|
||||||
int c, fSeq = 0, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "svh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 's':
|
|
||||||
fSeq ^= 1;
|
|
||||||
break;
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandBlast(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
pNew = Acb_ManBlast( p, 0, fSeq, fVerbose );
|
|
||||||
if ( pNew == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandBlast(): Bit-blasting has failed.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
Abc_FrameUpdateGia( pAbc, pNew );
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @blast [-svh]\n" );
|
|
||||||
Abc_Print( -2, "\t performs bit-blasting of the word-level design\n" );
|
|
||||||
Abc_Print( -2, "\t-s : toggle blasting sequential elements [default = %s]\n", fSeq? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandCec( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Acb_Man_t * p = Acb_AbcGetMan(pAbc), * pTemp;
|
|
||||||
Gia_Man_t * pFirst, * pSecond, * pMiter;
|
|
||||||
Cec_ParCec_t ParsCec, * pPars = &ParsCec;
|
|
||||||
char * pFileName, * pStr, ** pArgvNew;
|
|
||||||
int c, nArgcNew, fDumpMiter = 0;
|
|
||||||
FILE * pFile;
|
|
||||||
Cec_ManCecSetDefaultParams( pPars );
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 'v':
|
|
||||||
pPars->fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandCec(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
pArgvNew = argv + globalUtilOptind;
|
|
||||||
nArgcNew = argc - globalUtilOptind;
|
|
||||||
if ( nArgcNew != 1 )
|
|
||||||
{
|
|
||||||
if ( p->pSpec == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( -1, "File name is not given on the command line.\n" );
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
pFileName = p->pSpec;
|
|
||||||
}
|
|
||||||
else
|
|
||||||
pFileName = pArgvNew[0];
|
|
||||||
// fix the wrong symbol
|
|
||||||
for ( pStr = pFileName; *pStr; pStr++ )
|
|
||||||
if ( *pStr == '>' )
|
|
||||||
*pStr = '\\';
|
|
||||||
if ( (pFile = fopen( pFileName, "r" )) == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( -1, "Cannot open input file \"%s\". ", pFileName );
|
|
||||||
if ( (pFileName = Extra_FileGetSimilarName( pFileName, ".v", ".blif", NULL, NULL, NULL )) )
|
|
||||||
Abc_Print( 1, "Did you mean \"%s\"?", pFileName );
|
|
||||||
Abc_Print( 1, "\n" );
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
fclose( pFile );
|
|
||||||
|
|
||||||
// extract AIG from the current design
|
|
||||||
pFirst = Acb_ManBlast( p, 0, 0, 0 );
|
|
||||||
if ( pFirst == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( -1, "Extracting AIG from the current design has failed.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
// extract AIG from the second design
|
|
||||||
|
|
||||||
if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) )
|
|
||||||
pTemp = Acb_ManReadBlif( pFileName );
|
|
||||||
else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) )
|
|
||||||
pTemp = Acb_ManReadVerilog( pFileName );
|
|
||||||
else if ( !strcmp( Extra_FileNameExtension(pFileName), "acb" ) )
|
|
||||||
pTemp = Acb_ManReadCba( pFileName );
|
|
||||||
else assert( 0 );
|
|
||||||
pSecond = Acb_ManBlast( pTemp, 0, 0, 0 );
|
|
||||||
Acb_ManFree( pTemp );
|
|
||||||
if ( pSecond == NULL )
|
|
||||||
{
|
|
||||||
Gia_ManStop( pFirst );
|
|
||||||
Abc_Print( -1, "Extracting AIG from the original design has failed.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
// compute the miter
|
|
||||||
pMiter = Gia_ManMiter( pFirst, pSecond, 0, 1, 0, 0, pPars->fVerbose );
|
|
||||||
if ( pMiter )
|
|
||||||
{
|
|
||||||
if ( fDumpMiter )
|
|
||||||
{
|
|
||||||
Abc_Print( 0, "The verification miter is written into file \"%s\".\n", "cec_miter.aig" );
|
|
||||||
Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 );
|
|
||||||
}
|
|
||||||
pAbc->Status = Cec_ManVerify( pMiter, pPars );
|
|
||||||
//Abc_FrameReplaceCex( pAbc, &pAbc->pGia->pCexComb );
|
|
||||||
Gia_ManStop( pMiter );
|
|
||||||
}
|
|
||||||
Gia_ManStop( pFirst );
|
|
||||||
Gia_ManStop( pSecond );
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @cec [-vh]\n" );
|
|
||||||
Abc_Print( -2, "\t combinational equivalence checking\n" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", pPars->fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
/**Function********************************************************************
|
|
||||||
|
|
||||||
Synopsis []
|
|
||||||
|
|
||||||
Description []
|
|
||||||
|
|
||||||
SideEffects []
|
|
||||||
|
|
||||||
SeeAlso []
|
|
||||||
|
|
||||||
******************************************************************************/
|
|
||||||
int Acb_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
|
|
||||||
{
|
|
||||||
Acb_Man_t * p = Acb_AbcGetMan(pAbc);
|
|
||||||
int c, fVerbose = 0;
|
|
||||||
Extra_UtilGetoptReset();
|
|
||||||
while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
|
|
||||||
{
|
|
||||||
switch ( c )
|
|
||||||
{
|
|
||||||
case 'v':
|
|
||||||
fVerbose ^= 1;
|
|
||||||
break;
|
|
||||||
case 'h':
|
|
||||||
goto usage;
|
|
||||||
default:
|
|
||||||
goto usage;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
if ( p == NULL )
|
|
||||||
{
|
|
||||||
Abc_Print( 1, "Acb_CommandTest(): There is no current design.\n" );
|
|
||||||
return 0;
|
|
||||||
}
|
|
||||||
return 0;
|
|
||||||
usage:
|
|
||||||
Abc_Print( -2, "usage: @test [-vh]\n" );
|
|
||||||
Abc_Print( -2, "\t experiments with word-level networks\n" );
|
|
||||||
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
|
|
||||||
Abc_Print( -2, "\t-h : print the command usage\n");
|
|
||||||
return 1;
|
|
||||||
}
|
|
||||||
|
|
||||||
#endif
|
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////
|
|
||||||
/// END OF FILE ///
|
|
||||||
////////////////////////////////////////////////////////////////////////
|
|
||||||
|
|
||||||
|
|
||||||
ABC_NAMESPACE_IMPL_END
|
|
||||||
|
|
||||||
|
|
@ -1,6 +1,5 @@
|
||||||
SRC += src/base/acb/acbAbc.c \
|
SRC += src/base/acb/acbAbc.c \
|
||||||
src/base/acb/acbAig.c \
|
src/base/acb/acbAig.c \
|
||||||
src/base/acb/acbCom.c \
|
|
||||||
src/base/acb/acbFunc.c \
|
src/base/acb/acbFunc.c \
|
||||||
src/base/acb/acbMfs.c \
|
src/base/acb/acbMfs.c \
|
||||||
src/base/acb/acbPush.c \
|
src/base/acb/acbPush.c \
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue