diff options
Diffstat (limited to 'src/base/bac/bacPrsBuild.c')
| -rw-r--r-- | src/base/bac/bacPrsBuild.c | 356 |
1 files changed, 356 insertions, 0 deletions
diff --git a/src/base/bac/bacPrsBuild.c b/src/base/bac/bacPrsBuild.c new file mode 100644 index 00000000..e5c9c354 --- /dev/null +++ b/src/base/bac/bacPrsBuild.c @@ -0,0 +1,356 @@ +/**CFile**************************************************************** + + FileName [bacPrsBuild.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Hierarchical word-level netlist.] + + Synopsis [Parse tree to netlist transformation.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - November 29, 2014.] + + Revision [$Id: bacPrsBuild.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "bac.h" +#include "bacPrs.h" +#include "map/mio/mio.h" +#include "base/main/main.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Psr_ManIsMapped( Psr_Ntk_t * pNtk ) +{ + Vec_Int_t * vSigs; int iBox; + Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen(); + if ( pLib == NULL ) + return 0; + Psr_NtkForEachBox( pNtk, vSigs, iBox ) + if ( !Psr_BoxIsNode(pNtk, iBox) ) + { + int NtkId = Psr_BoxNtk( pNtk, iBox ); + if ( Mio_LibraryReadGateByName(pLib, Psr_NtkStr(pNtk, NtkId), NULL) ) + return 1; + } + return 0; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Psr_NtkCountObjects( Psr_Ntk_t * pNtk ) +{ + Vec_Int_t * vFanins; + int i, Count = Psr_NtkObjNum(pNtk); + Psr_NtkForEachBox( pNtk, vFanins, i ) + Count += Psr_BoxIONum(pNtk, i); + return Count; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +// replaces NameIds of formal names by their index in the box model +void Psr_ManRemapOne( Vec_Int_t * vSigs, Psr_Ntk_t * pNtkBox, Vec_Int_t * vMap ) +{ + int i, NameId; + // map formal names into I/O indexes + Psr_NtkForEachPi( pNtkBox, NameId, i ) + { + assert( Vec_IntEntry(vMap, NameId) == -1 ); + Vec_IntWriteEntry( vMap, NameId, i + 1 ); // +1 to keep 1st form input non-zero + } + Psr_NtkForEachPo( pNtkBox, NameId, i ) + { + assert( Vec_IntEntry(vMap, NameId) == -1 ); + Vec_IntWriteEntry( vMap, NameId, Psr_NtkPiNum(pNtkBox) + i + 1 ); // +1 to keep 1st form input non-zero + } + // remap box + assert( Vec_IntSize(vSigs) % 2 == 0 ); + Vec_IntForEachEntry( vSigs, NameId, i ) + { + assert( Vec_IntEntry(vMap, NameId) != -1 ); + Vec_IntWriteEntry( vSigs, i++, Vec_IntEntry(vMap, NameId) ); + } + // unmap formal inputs + Psr_NtkForEachPi( pNtkBox, NameId, i ) + Vec_IntWriteEntry( vMap, NameId, -1 ); + Psr_NtkForEachPo( pNtkBox, NameId, i ) + Vec_IntWriteEntry( vMap, NameId, -1 ); +} +void Psr_ManRemapGate( Vec_Int_t * vSigs ) +{ + int i, FormId; + Vec_IntForEachEntry( vSigs, FormId, i ) + Vec_IntWriteEntry( vSigs, i, i/2 + 1 ), i++; +} +void Psr_ManRemapBoxes( Bac_Man_t * pNew, Vec_Ptr_t * vDes, Psr_Ntk_t * pNtk, Vec_Int_t * vMap ) +{ + Vec_Int_t * vSigs; int iBox; + Psr_NtkForEachBox( pNtk, vSigs, iBox ) + if ( !Psr_BoxIsNode(pNtk, iBox) ) + { + int NtkId = Psr_BoxNtk( pNtk, iBox ); + int NtkIdNew = Bac_ManNtkFindId( pNew, Psr_NtkStr(pNtk, NtkId) ); + assert( NtkIdNew > 0 ); + Psr_BoxSetNtk( pNtk, iBox, NtkIdNew ); + if ( NtkIdNew <= Bac_ManNtkNum(pNew) ) + Psr_ManRemapOne( vSigs, Psr_ManNtk(vDes, NtkIdNew-1), vMap ); + //else + // Psr_ManRemapGate( vSigs ); + } +} +void Psr_ManCleanMap( Psr_Ntk_t * pNtk, Vec_Int_t * vMap ) +{ + Vec_Int_t * vSigs; + int i, k, NameId, Sig; + Psr_NtkForEachPi( pNtk, NameId, i ) + Vec_IntWriteEntry( vMap, NameId, -1 ); + Psr_NtkForEachBox( pNtk, vSigs, i ) + Vec_IntForEachEntryDouble( vSigs, NameId, Sig, k ) + Vec_IntWriteEntry( vMap, Psr_NtkSigName(pNtk, Sig), -1 ); + Psr_NtkForEachPo( pNtk, NameId, i ) + Vec_IntWriteEntry( vMap, NameId, -1 ); +} +// create maps of NameId and boxes +void Psr_ManBuildNtk( Bac_Ntk_t * pNew, Vec_Ptr_t * vDes, Psr_Ntk_t * pNtk, Vec_Int_t * vMap, Vec_Int_t * vBoxes ) +{ + Psr_Ntk_t * pNtkBox; Vec_Int_t * vSigs; int iBox; + int i, Index, NameId, iObj, iConst0, iTerm; + int iNonDriven = -1, nNonDriven = 0; + assert( Psr_NtkPioNum(pNtk) == 0 ); + Psr_ManRemapBoxes( pNew->pDesign, vDes, pNtk, vMap ); + Bac_NtkStartNames( pNew ); + // create primary inputs + Psr_NtkForEachPi( pNtk, NameId, i ) + { + if ( Vec_IntEntry(vMap, NameId) != -1 ) + printf( "Primary inputs %d and %d have the same name.\n", Vec_IntEntry(vMap, NameId), i ); + iObj = Bac_ObjAlloc( pNew, BAC_OBJ_PI, -1 ); + Bac_ObjSetName( pNew, iObj, Abc_Var2Lit2(NameId, BAC_NAME_BIN) ); + Vec_IntWriteEntry( vMap, NameId, iObj ); + } + // create box outputs + Vec_IntClear( vBoxes ); + Psr_NtkForEachBox( pNtk, vSigs, iBox ) + if ( !Psr_BoxIsNode(pNtk, iBox) ) + { + pNtkBox = Psr_ManNtk( vDes, Psr_BoxNtk(pNtk, iBox)-1 ); + if ( pNtkBox == NULL ) + { + iObj = Bac_BoxAlloc( pNew, BAC_BOX_GATE, Vec_IntSize(vSigs)/2-1, 1, Psr_BoxNtk(pNtk, iBox) ); + Bac_ObjSetName( pNew, iObj, Abc_Var2Lit2(Psr_BoxName(pNtk, iBox), BAC_NAME_BIN) ); + // consider box output + NameId = Vec_IntEntryLast( vSigs ); + NameId = Psr_NtkSigName( pNtk, NameId ); + if ( Vec_IntEntry(vMap, NameId) != -1 ) + printf( "Box output name %d is already driven.\n", NameId ); + iTerm = Bac_BoxBo( pNew, iObj, 0 ); + Bac_ObjSetName( pNew, iTerm, Abc_Var2Lit2(NameId, BAC_NAME_BIN) ); + Vec_IntWriteEntry( vMap, NameId, iTerm ); + } + else + { + iObj = Bac_BoxAlloc( pNew, BAC_OBJ_BOX, Psr_NtkPiNum(pNtkBox), Psr_NtkPoNum(pNtkBox), Psr_BoxNtk(pNtk, iBox) ); + Bac_ObjSetName( pNew, iObj, Abc_Var2Lit2(Psr_BoxName(pNtk, iBox), BAC_NAME_BIN) ); + Bac_NtkSetHost( Bac_ManNtk(pNew->pDesign, Psr_BoxNtk(pNtk, iBox)), Bac_NtkId(pNew), iObj ); + Vec_IntForEachEntry( vSigs, Index, i ) + { + i++; + if ( --Index < Psr_NtkPiNum(pNtkBox) ) + continue; + assert( Index - Psr_NtkPiNum(pNtkBox) < Psr_NtkPoNum(pNtkBox) ); + // consider box output + NameId = Vec_IntEntry( vSigs, i ); + NameId = Psr_NtkSigName( pNtk, NameId ); + if ( Vec_IntEntry(vMap, NameId) != -1 ) + printf( "Box output name %d is already driven.\n", NameId ); + iTerm = Bac_BoxBo( pNew, iObj, Index - Psr_NtkPiNum(pNtkBox) ); + Bac_ObjSetName( pNew, iTerm, Abc_Var2Lit2(NameId, BAC_NAME_BIN) ); + Vec_IntWriteEntry( vMap, NameId, iTerm ); + } + } + // remember box + Vec_IntPush( vBoxes, iObj ); + } + else + { + iObj = Bac_BoxAlloc( pNew, (Bac_ObjType_t)Psr_BoxNtk(pNtk, iBox), Psr_BoxIONum(pNtk, iBox)-1, 1, -1 ); + // consider box output + NameId = Vec_IntEntryLast( vSigs ); + NameId = Psr_NtkSigName( pNtk, NameId ); + if ( Vec_IntEntry(vMap, NameId) != -1 ) + printf( "Node output name %d is already driven.\n", NameId ); + iTerm = Bac_BoxBo( pNew, iObj, 0 ); + Bac_ObjSetName( pNew, iTerm, Abc_Var2Lit2(NameId, BAC_NAME_BIN) ); + Vec_IntWriteEntry( vMap, NameId, iTerm ); + // remember box + Vec_IntPush( vBoxes, iObj ); + } + // add fanins for box inputs + Psr_NtkForEachBox( pNtk, vSigs, iBox ) + if ( !Psr_BoxIsNode(pNtk, iBox) ) + { + pNtkBox = Psr_ManNtk( vDes, Psr_BoxNtk(pNtk, iBox)-1 ); + iObj = Vec_IntEntry( vBoxes, iBox ); + if ( pNtkBox == NULL ) + { + Vec_IntForEachEntryStop( vSigs, Index, i, Vec_IntSize(vSigs)-2 ) + { + i++; + NameId = Vec_IntEntry( vSigs, i ); + NameId = Psr_NtkSigName( pNtk, NameId ); + iTerm = Bac_BoxBi( pNew, iObj, i/2 ); + if ( Vec_IntEntry(vMap, NameId) == -1 ) + { + iConst0 = Bac_BoxAlloc( pNew, BAC_BOX_CF, 0, 1, -1 ); + Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); + if ( iNonDriven == -1 ) + iNonDriven = NameId; + nNonDriven++; + } + Bac_ObjSetFanin( pNew, iTerm, Vec_IntEntry(vMap, NameId) ); + } + } + else + { + Vec_IntForEachEntry( vSigs, Index, i ) + { + i++; + if ( --Index >= Psr_NtkPiNum(pNtkBox) ) + continue; + NameId = Vec_IntEntry( vSigs, i ); + NameId = Psr_NtkSigName( pNtk, NameId ); + iTerm = Bac_BoxBi( pNew, iObj, Index ); + if ( Vec_IntEntry(vMap, NameId) == -1 ) + { + iConst0 = Bac_BoxAlloc( pNew, BAC_BOX_CF, 0, 1, -1 ); + Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); + if ( iNonDriven == -1 ) + iNonDriven = NameId; + nNonDriven++; + } + Bac_ObjSetFanin( pNew, iTerm, Vec_IntEntry(vMap, NameId) ); + } + } + } + else + { + iObj = Vec_IntEntry( vBoxes, iBox ); + Vec_IntForEachEntryStop( vSigs, Index, i, Vec_IntSize(vSigs)-2 ) + { + NameId = Vec_IntEntry( vSigs, ++i ); + NameId = Psr_NtkSigName( pNtk, NameId ); + iTerm = Bac_BoxBi( pNew, iObj, i/2 ); + if ( Vec_IntEntry(vMap, NameId) == -1 ) + { + iConst0 = Bac_BoxAlloc( pNew, BAC_BOX_CF, 0, 1, -1 ); + Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); + if ( iNonDriven == -1 ) + iNonDriven = NameId; + nNonDriven++; + } + Bac_ObjSetFanin( pNew, iTerm, Vec_IntEntry(vMap, NameId) ); + } + } + // add fanins for primary outputs + Psr_NtkForEachPo( pNtk, NameId, i ) + if ( Vec_IntEntry(vMap, NameId) == -1 ) + { + iConst0 = Bac_BoxAlloc( pNew, BAC_BOX_CF, 0, 1, -1 ); + Vec_IntWriteEntry( vMap, NameId, iConst0+1 ); + if ( iNonDriven == -1 ) + iNonDriven = NameId; + nNonDriven++; + } + Psr_NtkForEachPo( pNtk, NameId, i ) + iObj = Bac_ObjAlloc( pNew, BAC_OBJ_PO, Vec_IntEntry(vMap, NameId) ); + if ( nNonDriven ) + printf( "Module %s has %d non-driven nets (for example, %s).\n", Psr_NtkName(pNtk), nNonDriven, Psr_NtkStr(pNtk, iNonDriven) ); + Psr_ManCleanMap( pNtk, vMap ); + // setup info + Vec_IntForEachEntry( &pNtk->vOrder, NameId, i ) + Bac_NtkAddInfo( pNew, NameId, -1, -1 ); +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Bac_Man_t * Psr_ManBuildCba( char * pFileName, Vec_Ptr_t * vDes ) +{ + Psr_Ntk_t * pNtk = Psr_ManRoot( vDes ); int i; + Bac_Man_t * pNew = Bac_ManAlloc( pFileName, Vec_PtrSize(vDes) ); + Vec_Int_t * vMap = Vec_IntStartFull( Abc_NamObjNumMax(pNtk->pStrs) + 1 ); + Vec_Int_t * vTmp = Vec_IntAlloc( Psr_NtkBoxNum(pNtk) ); + Abc_NamDeref( pNew->pStrs ); + pNew->pStrs = Abc_NamRef( pNtk->pStrs ); + Vec_PtrForEachEntry( Psr_Ntk_t *, vDes, pNtk, i ) + Bac_NtkAlloc( Bac_ManNtk(pNew, i+1), Psr_NtkId(pNtk), Psr_NtkPiNum(pNtk), Psr_NtkPoNum(pNtk), Psr_NtkCountObjects(pNtk) ); + if ( (pNtk->fMapped || (pNtk->fSlices && Psr_ManIsMapped(pNtk))) && !Bac_NtkBuildLibrary(pNew) ) + Bac_ManFree(pNew), pNew = NULL; + else + Vec_PtrForEachEntry( Psr_Ntk_t *, vDes, pNtk, i ) + Psr_ManBuildNtk( Bac_ManNtk(pNew, i+1), vDes, pNtk, vMap, vTmp ); + assert( Vec_IntCountEntry(vMap, -1) == Vec_IntSize(vMap) ); + Vec_IntFree( vMap ); + Vec_IntFree( vTmp ); +// Vec_StrPrint( &Bac_ManNtk(pNew, 1)->vType, 1 ); + return pNew; +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |