50 int Gia_ObjFromMiniFanin0Copy( Gia_Man_t * pGia, Vec_Int_t * vCopies, Mini_Aig_t * p, int Id )  in Gia_ObjFromMiniFanin0Copy()  argument
55 int Gia_ObjFromMiniFanin1Copy( Gia_Man_t * pGia, Vec_Int_t * vCopies, Mini_Aig_t * p, int Id )  in Gia_ObjFromMiniFanin1Copy()  argument
62     Gia_Man_t * pGia, * pTemp;  in Gia_ManFromMiniAig()  local
68     pGia = Gia_ManStart( nNodes );  in Gia_ManFromMiniAig()
69     pGia->pName = Abc_UtilStrsav( "MiniAig" );  in Gia_ManFromMiniAig()
74     Gia_ManHashAlloc( pGia );  in Gia_ManFromMiniAig()
78             iGiaLit = Gia_ManAppendCi(pGia);  in Gia_ManFromMiniAig()
80             iGiaLit = Gia_ManAppendCo(pGia, Gia_ObjFromMiniFanin0Copy(pGia, vCopies, p, i));  in Gia_ManFromMiniAig()
82 …iGiaLit = Gia_ManHashAnd(pGia, Gia_ObjFromMiniFanin0Copy(pGia, vCopies, p, i), Gia_ObjFromMiniFani…  in Gia_ManFromMiniAig()
86     Gia_ManHashStop( pGia );  in Gia_ManFromMiniAig()
92     Gia_ManSetRegNum( pGia, Mini_AigRegNum(p) );  in Gia_ManFromMiniAig()
93     pGia = Gia_ManCleanup( pTemp = pGia );  in Gia_ManFromMiniAig()
97     return pGia;  in Gia_ManFromMiniAig()
111 Mini_Aig_t * Gia_ManToMiniAig( Gia_Man_t * pGia )  in Gia_ManToMiniAig()  argument
118     Gia_ManConst0(pGia)->Value = Mini_AigLitConst0();  in Gia_ManToMiniAig()
120     Gia_ManForEachCi( pGia, pObj, i )  in Gia_ManToMiniAig()
123     Gia_ManForEachAnd( pGia, pObj, i )  in Gia_ManToMiniAig()
126     Gia_ManForEachCo( pGia, pObj, i )  in Gia_ManToMiniAig()
129     Mini_AigSetRegNum( p, Gia_ManRegNum(pGia) );  in Gia_ManToMiniAig()
146     Gia_Man_t * pGia;  in Abc_FrameGiaInputMiniAig()  local
151     pGia = Gia_ManFromMiniAig( (Mini_Aig_t *)p, &pAbc->vCopyMiniAig );  in Abc_FrameGiaInputMiniAig()
152     Abc_FrameUpdateGia( pAbc, pGia );  in Abc_FrameGiaInputMiniAig()
153     pAbc->pGiaMiniAig = Gia_ManDup( pGia );  in Abc_FrameGiaInputMiniAig()
158     Gia_Man_t * pGia;  in Abc_FrameGiaOutputMiniAig()  local
161     pGia = Abc_FrameReadGia( pAbc );  in Abc_FrameGiaOutputMiniAig()
162     if ( pGia == NULL )  in Abc_FrameGiaOutputMiniAig()
164     return Gia_ManToMiniAig( pGia );  in Abc_FrameGiaOutputMiniAig()
181     Gia_Man_t * pGia = Gia_ManFromMiniAig( p, NULL );  in Gia_ManReadMiniAig()  local
182     ABC_FREE( pGia->pName );  in Gia_ManReadMiniAig()
183     pGia->pName = Extra_FileNameGeneric( pFileName );   in Gia_ManReadMiniAig()
185     return pGia;  in Gia_ManReadMiniAig()
187 void Gia_ManWriteMiniAig( Gia_Man_t * pGia, char * pFileName )  in Gia_ManWriteMiniAig()  argument
189     Mini_Aig_t * p = Gia_ManToMiniAig( pGia );  in Gia_ManWriteMiniAig()
211     Gia_Man_t * pGia, * pTemp;  in Gia_ManFromMiniLut()  local
220     pGia = Gia_ManStart( 3 * nNodes );  in Gia_ManFromMiniLut()
221     pGia->pName = Abc_UtilStrsav( "MiniLut" );  in Gia_ManFromMiniLut()
227     Gia_ManHashAlloc( pGia );  in Gia_ManFromMiniLut()
231             iGiaLit = Gia_ManAppendCi(pGia);  in Gia_ManFromMiniLut()
233             iGiaLit = Gia_ManAppendCo(pGia, Vec_IntEntry(vCopies, Mini_LutNodeFanin(p, i, 0)));  in Gia_ManFromMiniLut()
242             iGiaLit = Dsm_ManTruthToGia( pGia, pTruth, vLits, vCover );  in Gia_ManFromMiniLut()
249     Gia_ManHashStop( pGia );  in Gia_ManFromMiniLut()
255     Gia_ManSetRegNum( pGia, Mini_LutRegNum(p) );  in Gia_ManFromMiniLut()
256     pGia = Gia_ManCleanup( pTemp = pGia );  in Gia_ManFromMiniLut()
260     return pGia;  in Gia_ManFromMiniLut()
276 Vec_Bit_t * Gia_ManFindComplLuts( Gia_Man_t * pGia )  in Gia_ManFindComplLuts()  argument
280     Vec_Bit_t * vMarks = Vec_BitStart( Gia_ManObjNum(pGia) );  in Gia_ManFindComplLuts()
281     Gia_ManForEachCo( pGia, pObj, i )  in Gia_ManFindComplLuts()
283             Vec_BitWriteEntry( vMarks, Gia_ObjFaninId0p(pGia, pObj), 1 );  in Gia_ManFindComplLuts()
285     Gia_ManForEachCo( pGia, pObj, i )  in Gia_ManFindComplLuts()
287             Vec_BitWriteEntry( vMarks, Gia_ObjFaninId0p(pGia, pObj), 0 );  in Gia_ManFindComplLuts()
302 Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia )  in Gia_ManToMiniLut()  argument
308     Vec_Int_t * vInvMap = Vec_IntStart( Gia_ManObjNum(pGia) );  in Gia_ManToMiniLut()
311     assert( Gia_ManHasMapping(pGia) );  in Gia_ManToMiniLut()
312     LutSize = Gia_ManLutSizeMax( pGia );  in Gia_ManToMiniLut()
319     Gia_ManFillValue( pGia );  in Gia_ManToMiniLut()
320     Gia_ManForEachCi( pGia, pObj, i )  in Gia_ManToMiniLut()
323     vMarks = Gia_ManFindComplLuts( pGia );  in Gia_ManToMiniLut()
324     Gia_ObjComputeTruthTableStart( pGia, LutSize );  in Gia_ManToMiniLut()
325     Gia_ManForEachLut( pGia, i )  in Gia_ManToMiniLut()
328         Gia_LutForEachFanin( pGia, i, iFanin, k )  in Gia_ManToMiniLut()
337             assert( Vec_IntSize(vLeaves) == Gia_ObjLutSize(pGia, i) );  in Gia_ManToMiniLut()
339         Gia_ManForEachObjVec( vLeaves, pGia, pFanin, k )  in Gia_ManToMiniLut()
341         pObj = Gia_ManObj( pGia, i );  in Gia_ManToMiniLut()
342         pTruth = Gia_ObjComputeTruthTableCut( pGia, pObj, vLeaves );  in Gia_ManToMiniLut()
348         pObj->Value = Mini_LutCreateNode( p, Gia_ObjLutSize(pGia, i), pVars, (unsigned *)pTruth );  in Gia_ManToMiniLut()
352     Vec_WrdClear( pGia->vTtMemory );  in Gia_ManToMiniLut()
354         Vec_WrdPush( pGia->vTtMemory, ABC_CONST(0x5555555555555555) );  in Gia_ManToMiniLut()
355     pTruth = Vec_WrdArray( pGia->vTtMemory );  in Gia_ManToMiniLut()
357     Gia_ManForEachCo( pGia, pObj, i )  in Gia_ManToMiniLut()
359         if ( Gia_ObjFanin0(pObj) == Gia_ManConst0(pGia) )  in Gia_ManToMiniLut()
361         else if ( Gia_ObjFaninC0(pObj) == Vec_BitEntry(vMarks, Gia_ObjFaninId0p(pGia, pObj)) )  in Gia_ManToMiniLut()
377     Gia_ObjComputeTruthTableStop( pGia );  in Gia_ManToMiniLut()
379     Mini_LutSetRegNum( p, Gia_ManRegNum(pGia) );  in Gia_ManToMiniLut()
384 char * Gia_ManToMiniLutAttr( Gia_Man_t * pGia, void * pMiniLut )  in Gia_ManToMiniLutAttr()  argument
388     Gia_ManForEachLut( pGia, i )  in Gia_ManToMiniLutAttr()
389         if ( Gia_ObjLutIsMux(pGia, i) )  in Gia_ManToMiniLutAttr()
390             pAttrs[Gia_ManObj(pGia, i)->Value] = 1;  in Gia_ManToMiniLutAttr()
407     Gia_Man_t * pGia;  in Abc_FrameGiaInputMiniLut()  local
410     pGia = Gia_ManFromMiniLut( (Mini_Lut_t *)p, NULL );  in Abc_FrameGiaInputMiniLut()
411     Abc_FrameUpdateGia( pAbc, pGia );  in Abc_FrameGiaInputMiniLut()
417     Gia_Man_t * pGia;  in Abc_FrameGiaOutputMiniLut()  local
422     pGia = Abc_FrameReadGia( pAbc );  in Abc_FrameGiaOutputMiniLut()
423     if ( pGia == NULL )  in Abc_FrameGiaOutputMiniLut()
425     pRes = Gia_ManToMiniLut( pGia );  in Abc_FrameGiaOutputMiniLut()
431     Gia_Man_t * pGia;  in Abc_FrameGiaOutputMiniLutAttr()  local
434     pGia = Abc_FrameReadGia( pAbc );  in Abc_FrameGiaOutputMiniLutAttr()
435     if ( pGia == NULL )  in Abc_FrameGiaOutputMiniLutAttr()
437     return Gia_ManToMiniLutAttr( pGia, pMiniLut );  in Abc_FrameGiaOutputMiniLutAttr()
454     Gia_Man_t * pGia = Gia_ManFromMiniLut( p, NULL );  in Gia_ManReadMiniLut()  local
455     ABC_FREE( pGia->pName );  in Gia_ManReadMiniLut()
456     pGia->pName = Extra_FileNameGeneric( pFileName );   in Gia_ManReadMiniLut()
458     return pGia;  in Gia_ManReadMiniLut()
460 void Gia_ManWriteMiniLut( Gia_Man_t * pGia, char * pFileName )  in Gia_ManWriteMiniLut()  argument
462     Mini_Lut_t * p = Gia_ManToMiniLut( pGia );  in Gia_ManWriteMiniLut()
567     Gia_Man_t * pGia, * pTemp;  in Abc_FrameReadMiniLutNameMapping()  local
575     pGia = Gia_ManDup2( pAbc->pGiaMiniAig, pAbc->pGiaMiniLut );  in Abc_FrameReadMiniLutNameMapping()
578     pTemp = Gia_ManComputeGiaEquivs( pGia, nConfs, fVerbose );  in Abc_FrameReadMiniLutNameMapping()
586 …pRes = Gia_ManMapMiniLut2MiniAig( pGia, pAbc->pGiaMiniAig, pAbc->pGiaMiniLut, pAbc->vCopyMiniAig, …  in Abc_FrameReadMiniLutNameMapping()
588     Gia_ManStop( pGia );  in Abc_FrameReadMiniLutNameMapping()
681     Gia_Man_t * pGia, * pTemp;  in Gia_MiniAigReduce()  local
687     pGia = Gia_ManStart( nNodes );  in Gia_MiniAigReduce()
688     pGia->pName = Abc_UtilStrsav( "MiniAig" );  in Gia_MiniAigReduce()
693     Gia_ManHashAlloc( pGia );  in Gia_MiniAigReduce()
697             iGiaLit = Gia_ManAppendCi(pGia);  in Gia_MiniAigReduce()
699             iGiaLit = Gia_ManAppendCo(pGia, Gia_ObjFromMiniFanin0Copy(pGia, vCopies, p, i));  in Gia_MiniAigReduce()
701 …iGiaLit = Gia_ManHashAnd(pGia, Gia_ObjFromMiniFanin0Copy(pGia, vCopies, p, i), Gia_ObjFromMiniFani…  in Gia_MiniAigReduce()
707     Gia_ManHashStop( pGia );  in Gia_MiniAigReduce()
710     Gia_ManSetRegNum( pGia, Mini_AigRegNum(p) );  in Gia_MiniAigReduce()
711     pGia = Gia_ManSeqCleanup( pTemp = pGia );  in Gia_MiniAigReduce()
713     return pGia;  in Gia_MiniAigReduce()
717     Gia_Man_t * pGia, * pTemp;  in Gia_MiniAigMiter()  local
723     pGia = Gia_ManStart( 2 * nNodes );  in Gia_MiniAigMiter()
724     pGia->pName = Abc_UtilStrsav( "MiniAig" );  in Gia_MiniAigMiter()
729     Gia_ManHashAlloc( pGia );  in Gia_MiniAigMiter()
733             iGiaLit = Gia_ManAppendCi(pGia);  in Gia_MiniAigMiter()
741 …iGiaLit = Gia_ManHashAnd(pGia, Gia_ObjFromMiniFanin0Copy(pGia, vCopies, p, i), Gia_ObjFromMiniFani…  in Gia_MiniAigMiter()
754         Gia_ManAppendCo( pGia, Gia_ManHashXor(pGia, iGiaLit, iGiaLit2) );  in Gia_MiniAigMiter()
757     Temp = Gia_ManCoNum(pGia);  in Gia_MiniAigMiter()
763             Gia_ManAppendCo(pGia, Gia_ObjFromMiniFanin0Copy(pGia, vCopies, p, i));  in Gia_MiniAigMiter()
766     assert( Mini_AigRegNum(p) == Gia_ManCoNum(pGia) - Temp );  in Gia_MiniAigMiter()
767     Gia_ManSetRegNum( pGia, Mini_AigRegNum(p) );  in Gia_MiniAigMiter()
768     Gia_ManHashStop( pGia );  in Gia_MiniAigMiter()
770     pGia = Gia_ManCleanup( pTemp = pGia );  in Gia_MiniAigMiter()
772     return pGia;  in Gia_MiniAigMiter()
777     Gia_Man_t * pGia;  in Gia_MiniAigVerify()  local
785     pGia = Gia_MiniAigMiter( p, pEquivs );  in Gia_MiniAigVerify()
786     Gia_AigerWrite( pGia, pFileMiter, 0, 0, 0 );  in Gia_MiniAigVerify()
788     Gia_ManStop( pGia );  in Gia_MiniAigVerify()
790     pGia = Gia_MiniAigReduce( p, pEquivs );  in Gia_MiniAigVerify()
791     Gia_AigerWrite( pGia, pFileReduced, 0, 0, 0 );  in Gia_MiniAigVerify()
793     Gia_ManStop( pGia );  in Gia_MiniAigVerify()