Skip to content

A
abc
Commit 627c7d33 by Alan Mishchenko
Options

Adding command &reshape.

parent 1e69e7e7
Showing with 15 additions and 15 deletions
src/aig/gia/giaSim4.c → src/aig/gia/giaReshape1.c
/**CFile****************************************************************
FileName [giaSim4.c]
FileName [giaReshape.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Scalable AIG package.]
Synopsis [Simulation engine.]
Synopsis []
Author [Alan Mishchenko]
......@@ -14,7 +14,7 @@
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [$Id: giaSim4.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
Revision [$Id: gia.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
***********************************************************************/
......@@ -22,6 +22,7 @@
ABC_NAMESPACE_IMPL_START
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
......@@ -35,15 +36,15 @@ ABC_NAMESPACE_IMPL_START
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nTimeout, int nWords, int nBeam, int LevL, int LevU, int fOrder, int fFancy, int fUseBuf, int fSkipMffc, int fVerbose )
Gia_Man_t * Gia_ManReshape1( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
{
return 0;
return NULL;
}
////////////////////////////////////////////////////////////////////////
......
src/aig/gia/giaSim5.c → src/aig/gia/giaReshape2.c
/**CFile****************************************************************
FileName [giaSim5.c]
FileName [giaReshape.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Scalable AIG package.]
Synopsis [Simulation engine.]
Synopsis []
Author [Alan Mishchenko]
......@@ -14,12 +14,11 @@
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [$Id: giaSim5.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
Revision [$Id: gia.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
***********************************************************************/
#include "gia.h"
#include "base/main/main.h"
ABC_NAMESPACE_IMPL_START
......@@ -27,10 +26,6 @@ ABC_NAMESPACE_IMPL_START
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
void Sim_Init( Abc_Frame_t * pAbc ) {}
void Sim_End( Abc_Frame_t * pAbc ) {}
void Gia_DatFree( Gia_Dat_t * p ) {}
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
......@@ -40,12 +35,16 @@ void Gia_DatFree( Gia_Dat_t * p ) {}
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
Gia_Man_t * Gia_ManReshape2( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
{
return NULL;
}
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment