summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-04-14 13:13:03 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2019-04-14 13:13:03 -0700
commitbfefe96cad688693d68f9537f0a28fe65b7fcbb9 (patch)
treeaab3b4fd6b65b2f2aa7a0ca24fa1a9b0f5a51417 /src
parent29c58e5ec8c39e13f4b6731489155bdc5c8190fc (diff)
downloadabc-bfefe96cad688693d68f9537f0a28fe65b7fcbb9.tar.gz
abc-bfefe96cad688693d68f9537f0a28fe65b7fcbb9.tar.bz2
abc-bfefe96cad688693d68f9537f0a28fe65b7fcbb9.zip
Adding clock enable extraction as command &put -e.
Diffstat (limited to 'src')
-rw-r--r--src/base/abci/abc.c25
-rw-r--r--src/base/abci/abcDar.c70
2 files changed, 80 insertions, 15 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 54348c31..ab8e2577 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -29593,20 +29593,26 @@ int Abc_CommandAbc9Put( Abc_Frame_t * pAbc, int argc, char ** argv )
{
extern Abc_Ntk_t * Abc_NtkFromDarChoices( Abc_Ntk_t * pNtkOld, Aig_Man_t * pMan );
extern void Abc_NtkRedirectCiCo( Abc_Ntk_t * pNtk );
+ extern Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p );
+ extern Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p, int fFindEnables );
Aig_Man_t * pMan;
Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
- int c, fVerbose = 0;
int fStatusClear = 1;
+ int fFindEnables = 0;
+ int c, fVerbose = 0;
Extra_UtilGetoptReset();
- while ( ( c = Extra_UtilGetopt( argc, argv, "svh" ) ) != EOF )
+ while ( ( c = Extra_UtilGetopt( argc, argv, "sevh" ) ) != EOF )
{
switch ( c )
{
case 's':
fStatusClear ^= 1;
break;
+ case 'e':
+ fFindEnables ^= 1;
+ break;
case 'v':
fVerbose ^= 1;
break;
@@ -29621,16 +29627,12 @@ int Abc_CommandAbc9Put( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "Empty network.\n" );
return 1;
}
- if ( Gia_ManHasCellMapping(pAbc->pGia) )
- {
- extern Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p );
+ if ( fFindEnables )
+ pNtk = Abc_NtkFromMappedGia( pAbc->pGia, 1 );
+ else if ( Gia_ManHasCellMapping(pAbc->pGia) )
pNtk = Abc_NtkFromCellMappedGia( pAbc->pGia );
- }
else if ( Gia_ManHasMapping(pAbc->pGia) || pAbc->pGia->pMuxes )
- {
- extern Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p );
- pNtk = Abc_NtkFromMappedGia( pAbc->pGia );
- }
+ pNtk = Abc_NtkFromMappedGia( pAbc->pGia, 0 );
else if ( Gia_ManHasDangling(pAbc->pGia) == 0 )
{
pMan = Gia_ManToAig( pAbc->pGia, 0 );
@@ -29712,9 +29714,10 @@ int Abc_CommandAbc9Put( Abc_Frame_t * pAbc, int argc, char ** argv )
return 0;
usage:
- Abc_Print( -2, "usage: &put [-svh]\n" );
+ Abc_Print( -2, "usage: &put [-sevh]\n" );
Abc_Print( -2, "\t transfer the current network into the old ABC\n" );
Abc_Print( -2, "\t-s : toggle clearning verification status [default = %s]\n", fStatusClear? "yes": "no" );
+ Abc_Print( -2, "\t-e : toggle extracting MUXes for flop enables [default = %s]\n", fFindEnables? "yes": "no" );
Abc_Print( -2, "\t-v : toggle verbose output [default = %s]\n", fVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");
return 1;
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 3bd821eb..8b9d17bc 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -712,7 +712,29 @@ Hop_Obj_t * Abc_ObjHopFromGia( Hop_Man_t * pHopMan, Gia_Man_t * p, int GiaId, Ve
SeeAlso []
***********************************************************************/
-Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p )
+Abc_Obj_t * Abc_NtkFromMappedGia_rec( Abc_Ntk_t * pNtkNew, Gia_Man_t * p, int iObj, int fAddInv )
+{
+ Abc_Obj_t * pObjNew;
+ Gia_Obj_t * pObj = Gia_ManObj(p, iObj);
+ if ( Gia_ObjValue(pObj) >= 0 )
+ pObjNew = Abc_NtkObj( pNtkNew, Gia_ObjValue(pObj) );
+ else
+ {
+ Abc_NtkFromMappedGia_rec( pNtkNew, p, Gia_ObjFaninId0(pObj, iObj), 0 );
+ Abc_NtkFromMappedGia_rec( pNtkNew, p, Gia_ObjFaninId1(pObj, iObj), 0 );
+ pObjNew = Abc_NtkCreateNode( pNtkNew );
+ Abc_ObjAddFanin( pObjNew, Abc_NtkObj(pNtkNew, Gia_ObjValue(Gia_ObjFanin0(pObj))) );
+ Abc_ObjAddFanin( pObjNew, Abc_NtkObj(pNtkNew, Gia_ObjValue(Gia_ObjFanin1(pObj))) );
+ pObjNew->pData = Abc_SopCreateAnd( (Mem_Flex_t *)pNtkNew->pManFunc, 2, NULL );
+ if ( Gia_ObjFaninC0(pObj) ) Abc_SopComplementVar( (char *)pObjNew->pData, 0 );
+ if ( Gia_ObjFaninC1(pObj) ) Abc_SopComplementVar( (char *)pObjNew->pData, 1 );
+ pObj->Value = Abc_ObjId( pObjNew );
+ }
+ if ( fAddInv )
+ pObjNew = Abc_NtkCreateNodeInv(pNtkNew, pObjNew);
+ return pObjNew;
+}
+Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p, int fFindEnables )
{
int fVerbose = 0;
int fDuplicate = 0;
@@ -720,8 +742,9 @@ Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p )
Abc_Obj_t * pObjNew, * pObjNewLi, * pObjNewLo, * pConst0 = NULL;
Gia_Obj_t * pObj, * pObjLi, * pObjLo;
Vec_Ptr_t * vReflect;
- int i, k, iFan, nDupGates;
- assert( Gia_ManHasMapping(p) || p->pMuxes );
+ int i, k, iFan, nDupGates, nCountMux = 0;
+ assert( Gia_ManHasMapping(p) || p->pMuxes || fFindEnables );
+ assert( !fFindEnables || !p->pMuxes );
pNtkNew = Abc_NtkAlloc( ABC_NTK_LOGIC, Gia_ManHasMapping(p) ? ABC_FUNC_AIG : ABC_FUNC_SOP, 1 );
// duplicate the name and the spec
pNtkNew->pName = Extra_UtilStrsav(p->pName);
@@ -749,7 +772,43 @@ Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p )
Abc_LatchSetInit0( pObjNew );
}
// rebuild the AIG
- if ( p->pMuxes )
+ if ( fFindEnables )
+ {
+ Gia_ManForEachCo( p, pObj, i )
+ {
+ pObjNew = NULL;
+ if ( Gia_ObjIsRi(p, pObj) && Gia_ObjIsMuxType(Gia_ObjFanin0(pObj)) )
+ {
+ int iObjRo = Gia_ObjRiToRoId( p, Gia_ObjId(p, pObj) );
+ int iLitE, iLitT, iCtrl = Gia_ObjRecognizeMuxLits( p, Gia_ObjFanin0(pObj), &iLitT, &iLitE );
+ iLitE = Abc_LitNotCond( iLitE, Gia_ObjFaninC0(pObj) );
+ iLitT = Abc_LitNotCond( iLitT, Gia_ObjFaninC0(pObj) );
+ if ( Abc_Lit2Var(iLitT) == iObjRo )
+ {
+ int iTemp = iLitE;
+ iLitE = iLitT;
+ iLitT = iTemp;
+ iCtrl = Abc_LitNot( iCtrl );
+ }
+ if ( Abc_Lit2Var(iLitE) == iObjRo )
+ {
+ Abc_Obj_t * pObjCtrl = Abc_NtkFromMappedGia_rec( pNtkNew, p, Abc_Lit2Var(iCtrl), Abc_LitIsCompl(iCtrl) );
+ Abc_Obj_t * pObjNodeT = Abc_NtkFromMappedGia_rec( pNtkNew, p, Abc_Lit2Var(iLitT), Abc_LitIsCompl(iLitT) );
+ Abc_Obj_t * pObjNodeE = Abc_NtkFromMappedGia_rec( pNtkNew, p, Abc_Lit2Var(iLitE), Abc_LitIsCompl(iLitE) );
+ pObjNew = Abc_NtkCreateNode( pNtkNew );
+ Abc_ObjAddFanin( pObjNew, pObjCtrl );
+ Abc_ObjAddFanin( pObjNew, pObjNodeT );
+ Abc_ObjAddFanin( pObjNew, pObjNodeE );
+ pObjNew->pData = Abc_SopCreateMux( (Mem_Flex_t *)pNtkNew->pManFunc );
+ nCountMux++;
+ }
+ }
+ if ( pObjNew == NULL )
+ pObjNew = Abc_NtkFromMappedGia_rec( pNtkNew, p, Gia_ObjFaninId0p(p, pObj), Gia_ObjFaninC0(pObj) );
+ Abc_ObjAddFanin( Abc_NtkCo(pNtkNew, i), pObjNew );
+ }
+ }
+ else if ( p->pMuxes )
{
Gia_ManForEachAnd( p, pObj, i )
{
@@ -803,7 +862,10 @@ Abc_Ntk_t * Abc_NtkFromMappedGia( Gia_Man_t * p )
}
Vec_PtrFree( vReflect );
}
+ //if ( fFindEnables )
+ // printf( "Extracted %d flop enable signals.\n", nCountMux );
// connect the PO nodes
+ if ( !fFindEnables )
Gia_ManForEachCo( p, pObj, i )
{
pObjNew = Abc_NtkObj( pNtkNew, Gia_ObjValue(Gia_ObjFanin0(pObj)) );