diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-06-24 19:18:28 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-06-24 19:18:28 -0700 |
commit | 28ba2c52137883b4acc46b2d31edf717822e543f (patch) | |
tree | 314ff9d902ab76f7c57bc783611288d963787caf /src/aig/gia/giaResub3.c | |
parent | b4f099c511f66dfe6624ac26194abb90e9615cfd (diff) | |
download | abc-28ba2c52137883b4acc46b2d31edf717822e543f.tar.gz abc-28ba2c52137883b4acc46b2d31edf717822e543f.tar.bz2 abc-28ba2c52137883b4acc46b2d31edf717822e543f.zip |
Adding place holder file for resub experiments.
Diffstat (limited to 'src/aig/gia/giaResub3.c')
-rw-r--r-- | src/aig/gia/giaResub3.c | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/src/aig/gia/giaResub3.c b/src/aig/gia/giaResub3.c new file mode 100644 index 00000000..71e182d1 --- /dev/null +++ b/src/aig/gia/giaResub3.c @@ -0,0 +1,54 @@ +/**CFile**************************************************************** + + FileName [giaResub3.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Scalable AIG package.] + + Synopsis [Resubstitution computation.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: giaResub3.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "gia.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Gia_Man_t * Gia_ManPerformNewResub( Gia_Man_t * p, int nWinCount, int nCutSize, int nProcs, int fVerbose ) +{ + return NULL; +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + +ABC_NAMESPACE_IMPL_END + |