diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-28 12:42:17 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-28 12:42:17 -0700 |
commit | 1e159a826e42bdcfd4d3d2b48ec6292d61be8ffd (patch) | |
tree | b04cdb16e830d28a0c6538a3bd19333ea788ba91 /src/base/abci/abcDec.c | |
parent | 4598c76e880a3a1c898f8f54be9e1abe78b3c15c (diff) | |
download | abc-1e159a826e42bdcfd4d3d2b48ec6292d61be8ffd.tar.gz abc-1e159a826e42bdcfd4d3d2b48ec6292d61be8ffd.tar.bz2 abc-1e159a826e42bdcfd4d3d2b48ec6292d61be8ffd.zip |
Started implementing command 'testdec'.
Diffstat (limited to 'src/base/abci/abcDec.c')
-rw-r--r-- | src/base/abci/abcDec.c | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c new file mode 100644 index 00000000..916866ad --- /dev/null +++ b/src/base/abci/abcDec.c @@ -0,0 +1,66 @@ +/**CFile**************************************************************** + + FileName [abcDec.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Network and node package.] + + Synopsis [Procedures for testing and comparing decomposition algorithms.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: abcDec.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "base/abc/abc.h" + +ABC_NAMESPACE_IMPL_START + + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +// decomposition type +// 0 - none +// 1 - factoring +// 2 - bi-decomposition +// 3 - DSD + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + + +/**Function************************************************************* + + Synopsis [Testbench for decomposition algorithms.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Abc_DecTest( char * pFileName, int DecType ) +{ + printf( "Trying to read file \"%s\".\n", pFileName ); + fflush( stdout ); + return 0; +} + + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |