diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-13 08:01:00 -0700 |
| commit | 0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa (patch) | |
| tree | dd738a8c91f5baf754e6b8bc1c203c5b2f49b69d /src/base/abcs | |
| parent | c065b2c5daea65cb98659aa1bb56a138ca7cc290 (diff) | |
| download | abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.tar.gz abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.tar.bz2 abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.zip | |
Version abc50913
Diffstat (limited to 'src/base/abcs')
| -rw-r--r-- | src/base/abcs/abcRetImpl.c | 2 | ||||
| -rw-r--r-- | src/base/abcs/abcSeq.c | 4 | ||||
| -rw-r--r-- | src/base/abcs/abcs.h | 2 | ||||
| -rw-r--r-- | src/base/abcs/module.make | 9 |
4 files changed, 11 insertions, 6 deletions
diff --git a/src/base/abcs/abcRetImpl.c b/src/base/abcs/abcRetImpl.c index 9a28a354..84b386bb 100644 --- a/src/base/abcs/abcRetImpl.c +++ b/src/base/abcs/abcRetImpl.c @@ -117,7 +117,7 @@ int Abc_NtkImplementRetimingBackward( Abc_Ntk_t * pNtk, Vec_Ptr_t * vMoves ) vValues = Vec_IntAlloc( 100 ); // create the network for the initial state computation - pNtkProb = Abc_NtkAlloc( ABC_TYPE_LOGIC, ABC_FUNC_SOP ); + pNtkProb = Abc_NtkAlloc( ABC_NTK_LOGIC, ABC_FUNC_SOP ); // perform the backward moves and build the network Vec_PtrForEachEntry( vMoves, pNode, i ) diff --git a/src/base/abcs/abcSeq.c b/src/base/abcs/abcSeq.c index 1264a98d..3b266182 100644 --- a/src/base/abcs/abcSeq.c +++ b/src/base/abcs/abcSeq.c @@ -79,7 +79,7 @@ Abc_Ntk_t * Abc_NtkAigToSeq( Abc_Ntk_t * pNtk ) assert( Abc_NtkIsStrash(pNtk) ); assert( Abc_NtkCountSelfFeedLatches(pNtk) == 0 ); // start the network - pNtkNew = Abc_NtkAlloc( ABC_TYPE_SEQ, ABC_FUNC_AIG ); + pNtkNew = Abc_NtkAlloc( ABC_NTK_SEQ, ABC_FUNC_AIG ); // duplicate the name and the spec pNtkNew->pName = util_strsav(pNtk->pName); pNtkNew->pSpec = util_strsav(pNtk->pSpec); @@ -231,7 +231,7 @@ Abc_Ntk_t * Abc_NtkSeqToLogicSop( Abc_Ntk_t * pNtk ) assert( Abc_NtkIsSeq(pNtk) ); // start the network without latches nCutNodes = pNtk->vLats->nSize; pNtk->vLats->nSize = 0; - pNtkNew = Abc_NtkStartFrom( pNtk, ABC_TYPE_LOGIC, ABC_FUNC_SOP ); + pNtkNew = Abc_NtkStartFrom( pNtk, ABC_NTK_LOGIC, ABC_FUNC_SOP ); pNtk->vLats->nSize = nCutNodes; // create the constant node Abc_NtkDupConst1( pNtk, pNtkNew ); diff --git a/src/base/abcs/abcs.h b/src/base/abcs/abcs.h index bfa95f3e..ba0442c0 100644 --- a/src/base/abcs/abcs.h +++ b/src/base/abcs/abcs.h @@ -17,7 +17,7 @@ Revision [$Id: abcs.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $] ***********************************************************************/ - + #ifndef __ABCS_H__ #define __ABCS_H__ diff --git a/src/base/abcs/module.make b/src/base/abcs/module.make index ad084bb8..309a8871 100644 --- a/src/base/abcs/module.make +++ b/src/base/abcs/module.make @@ -1,2 +1,7 @@ -SRC += src/base/abcs/abcRetime.c \ - src/base/abcs/abcSeq.c +SRC += src/base/abcs/abcRetCore.c \ + src/base/abcs/abcRetDelay.c \ + src/base/abcs/abcRetImpl.c \ + src/base/abcs/abcRetUtil.c \ + src/base/abcs/abcSeq.c \ + src/base/abcs/abcShare.c \ + src/base/abcs/abcUtils.c |