| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/super/ |
| H A D | superGate.c | 211 pMan->tDelayMax, pMan->tAreaMax, pMan->TimeLimit ); in Super_PrecomputeStr()
230 pMan->tDelayMax, pMan->tAreaMax, pMan->TimeLimit ); in Super_PrecomputeStr()
243 …Level, pMan->nTried, pMan->nAdded, pMan->nRemoved, pMan->nAdded - pMan->nRemoved, pMan->nLookups, … in Super_PrecomputeStr()
373 assert( Super_DelayCompare( pMan->pGates, pMan->pGates + pMan->nGates - 1 ) <= 0 ); in Super_Compute()
745 if ( pMan->TimeStop && TimeNow > pMan->TimeStop ) in Super_CheckTimeout()
779 pMan->pGates[ pMan->nGates++ ] = pGate; in Super_TranferGatesToArray()
959 if ( pMan->tTable ) stmm_free_table( pMan->tTable ); in Super_ManStop()
1018 pMan->pGates[ pMan->nGates++ ] = pGate; in Super_Write()
1026 assert( Super_WriteCompare( pMan->pGates, pMan->pGates + pMan->nGates - 1 ) <= 0 ); in Super_Write()
1070 …pMan->nVarsMax, pMan->nLevels, pMan->nGatesMax, pMan->TimeLimit, pMan->tDelayMax, pMan->tAreaMax, … in Super_WriteFileHeader()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcAig.c | 130 Abc_Aig_t * pMan; in Abc_AigAlloc() local
136 pMan->pBins = ABC_ALLOC( Abc_Obj_t *, pMan->nBins ); in Abc_AigAlloc()
137 memset( pMan->pBins, 0, sizeof(Abc_Obj_t *) * pMan->nBins ); in Abc_AigAlloc()
151 return pMan; in Abc_AigAlloc()
180 ABC_FREE( pMan ); in Abc_AigFree()
324 if ( pMan->nEntries > 2 * pMan->nBins ) in Abc_AigAndCreate()
341 pMan->nEntries++; in Abc_AigAndCreate()
381 pMan->nEntries++; in Abc_AigAndCreateFrom()
567 pMan->nEntries--; in Abc_AigAndDelete()
737 return Abc_AigOr( pMan, Abc_AigAnd(pMan, p0, Abc_ObjNot(p1)), in Abc_AigXor()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDar.c | 192 return pMan; in Abc_NtkToDarBmc()
329 pMan->vFlopNums = Vec_IntStartNatural( pMan->nRegs ); in Abc_NtkToDar()
341 return pMan; in Abc_NtkToDar()
446 if ( pMan->nAsserts && i == Aig_ManCoNum(pMan) - pMan->nAsserts ) in Abc_NtkFromDar()
1439 pMan = Fra_FraigPerform( pTemp = pMan, pPars ); in Abc_NtkDarFraig()
1534 pMan = Aig_ManDupDfs( pTemp = pMan ); in Abc_NtkDRewrite()
1571 pMan = Aig_ManDupDfs( pTemp = pMan ); in Abc_NtkDRefactor()
1679 pMan = Dch_ComputeChoices( pTemp = pMan, pPars ); in Abc_NtkDch()
2067 pMan = Fra_FraigInduction( pTemp = pMan, pPars ); in Abc_NtkDarSeqSweep()
3646 pNtk->pData = pMan->pData; pMan->pData = NULL; in Abc_NtkDarSeqSim3()
[all …]
|
| H A D | abcIvy.c | 89 Ivy_Man_t * pMan; in Abc_NtkIvyBefore() local
126 return pMan; in Abc_NtkIvyBefore()
179 Ivy_Man_t * pMan; in Abc_NtkIvyStrash() local
202 Ivy_Man_t * pMan; in Abc_NtkIvyHaig() local
349 pMan = Ivy_ManResyn0( pTemp = pMan, fUpdateLevel, fVerbose ); in Abc_NtkIvyResyn0()
374 pMan = Ivy_ManResyn( pTemp = pMan, fUpdateLevel, fVerbose ); in Abc_NtkIvyResyn()
404 pMan = Ivy_FraigMiter( pTemp = pMan, pParams ); in Abc_NtkIvySat()
472 pMan = Ivy_FraigPerform( pTemp = pMan, pParams ); in Abc_NtkIvyFraig()
485 pNtkAig->pModel = (int *)pMan->pData; pMan->pData = NULL; in Abc_NtkIvyFraig()
575 pNtk->pModel = (int *)pMan->pData; pMan->pData = NULL; in Abc_NtkIvyProve()
[all …]
|
| H A D | abcDarUnfold2.c | 16 Aig_Man_t * pMan, * pTemp = NULL; in Abc_NtkDarUnfold2() local
19 pMan = Abc_NtkToDar( pNtk, 0, 1 ); in Abc_NtkDarUnfold2()
20 if ( pMan == NULL ) in Abc_NtkDarUnfold2()
27 if ( pMan == NULL ) in Abc_NtkDarUnfold2()
30 pNtkAig = Abc_NtkFromAigPhase( pMan ); in Abc_NtkDarUnfold2()
33 Aig_ManStop( pMan ); in Abc_NtkDarUnfold2()
56 Aig_Man_t * pMan, * pTemp; in Abc_NtkDarFold2() local
58 pMan = Abc_NtkToDar( pNtk, 0, 1 ); in Abc_NtkDarFold2()
59 if ( pMan == NULL ) in Abc_NtkDarFold2()
61 pMan = Saig_ManDupFoldConstrsFunc2( pTemp = pMan, fCompl, fVerbose, typeII_cnt ); in Abc_NtkDarFold2()
[all …]
|
| H A D | abcFpgaFast.c | 60 Ivy_Man_t * pMan; in Abc_NtkFpgaFast() local
65 pMan = Abc_NtkIvyBefore( pNtk, 0, 0 ); in Abc_NtkFpgaFast()
69 pNtkNew = Ivy_ManFpgaToAbc( pNtk, pMan ); in Abc_NtkFpgaFast()
70 Ivy_FastMapStop( pMan ); in Abc_NtkFpgaFast()
71 Ivy_ManStop( pMan ); in Abc_NtkFpgaFast()
101 pMan->pCopy = Vec_PtrStart( Ivy_ManObjIdMax(pMan) + 1 ); in Ivy_ManFpgaToAbc()
105 Abc_ObjSetIvy2Abc( pMan, Ivy_ManConst1(pMan)->Id, Abc_NtkCreateNodeConst1(pNtkNew) ); in Ivy_ManFpgaToAbc()
107 Abc_ObjSetIvy2Abc( pMan, Ivy_ManPi(pMan, i)->Id, pObjAbc ); in Ivy_ManFpgaToAbc()
110 Ivy_ManForEachPo( pMan, pObjIvy, i ) in Ivy_ManFpgaToAbc()
133 pMan->pCopy = NULL; in Ivy_ManFpgaToAbc()
[all …]
|
| H A D | abcFpga.c | 58 Fpga_Man_t * pMan; in Abc_NtkFpga() local
81 if ( pMan == NULL ) in Abc_NtkFpga()
87 if ( !Fpga_Mapping( pMan ) ) in Abc_NtkFpga()
89 Fpga_ManFree( pMan ); in Abc_NtkFpga()
97 Fpga_ManFree( pMan ); in Abc_NtkFpga()
128 Fpga_Man_t * pMan; in Abc_NtkToFpga() local
140 if ( pMan == NULL ) in Abc_NtkToFpga()
170 pNodeFpga = Fpga_NodeAnd( pMan, in Abc_NtkToFpga()
192 return pMan; in Abc_NtkToFpga()
215 Fpga_CutsCleanSign( pMan ); in Abc_NtkFromFpga()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/ |
| H A D | covMinMan.c | 47 Min_Man_t * pMan; in Min_ManAlloc() local
55 pMan->ppStore = ABC_ALLOC( Min_Cube_t *, pMan->nVars + 1 ); in Min_ManAlloc()
58 pMan->pOne0 = Min_CubeAlloc( pMan ); in Min_ManAlloc()
59 pMan->pOne1 = Min_CubeAlloc( pMan ); in Min_ManAlloc()
60 pMan->pTemp = Min_CubeAlloc( pMan ); in Min_ManAlloc()
61 pMan->pBubble = Min_CubeAlloc( pMan ); pMan->pBubble->uData[0] = 0; in Min_ManAlloc()
64 pMan->pTriv0[0] = Min_CubeAllocVar( pMan, 0, 0 ); in Min_ManAlloc()
65 pMan->pTriv0[1] = Min_CubeAllocVar( pMan, 0, 1 ); in Min_ManAlloc()
66 pMan->pTriv1[0] = Min_CubeAllocVar( pMan, 0, 0 ); in Min_ManAlloc()
67 pMan->pTriv1[1] = Min_CubeAllocVar( pMan, 0, 1 ); in Min_ManAlloc()
[all …]
|
| H A D | covMan.c | 47 Cov_Man_t * pMan; in Cov_ManAlloc() local
54 pMan = ABC_ALLOC( Cov_Man_t, 1 ); in Cov_ManAlloc()
55 memset( pMan, 0, sizeof(Cov_Man_t) ); in Cov_ManAlloc()
56 pMan->nFaninMax = nFaninMax; in Cov_ManAlloc()
57 pMan->nCubesMax = nCubesMax; in Cov_ManAlloc()
63 pMan->vPairs0 = Vec_IntAlloc( nFaninMax ); in Cov_ManAlloc()
64 pMan->vPairs1 = Vec_IntAlloc( nFaninMax ); in Cov_ManAlloc()
65 pMan->vTriv0 = Vec_IntAlloc( 1 ); Vec_IntPush( pMan->vTriv0, -1 ); in Cov_ManAlloc()
66 pMan->vTriv1 = Vec_IntAlloc( 1 ); Vec_IntPush( pMan->vTriv1, -1 ); in Cov_ManAlloc()
77 pMan->pManMin = Min_ManAlloc( nFaninMax ); in Cov_ManAlloc()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyResyn.c | 54 pMan = Ivy_ManBalance( pMan, fUpdateLevel ); in Ivy_ManResyn0()
67 pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel ); in Ivy_ManResyn0()
72 return pMan; in Ivy_ManResyn0()
95 pMan = Ivy_ManBalance( pMan, fUpdateLevel ); in Ivy_ManResyn()
108 pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel ); in Ivy_ManResyn()
122 pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel ); in Ivy_ManResyn()
136 pMan = Ivy_ManBalance( pTemp = pMan, fUpdateLevel ); in Ivy_ManResyn()
141 return pMan; in Ivy_ManResyn()
164 Ivy_ManRewritePre( pMan, 0, 0, 0 ); in Ivy_ManRwsat()
170 pMan = Ivy_ManBalance( pTemp = pMan, 0 ); in Ivy_ManRwsat()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/ver/ |
| H A D | verCore.c | 207 pMan->pProgress = Extra_ProgressBarStart( stdout, Ver_StreamGetFileSize(pMan->pReader) ); in Ver_ParseInternal()
225 pMan->pProgress = NULL; in Ver_ParseInternal()
239 pMan->fTopLevel = 1; in Ver_ParseInternal()
523 if ( !Ver_ParseConvertNetwork( pMan, pNtk, pMan->fMapped ) ) in Ver_ParseModule()
621 pMan->tName2Suffix = NULL; in Ver_ParseRemoveSuffixTable()
1104 if ( !Ver_ParseConvertNetwork( pMan, pNtk, pMan->fMapped ) ) in Ver_ParseAssign()
1272 …_t *)Ver_FormulaParser( pEquation, pNtk->pManFunc, pMan->vNames, pMan->vStackFn, pMan->vStackOp, p… in Ver_ParseAssign()
1338 if ( !Ver_ParseConvertNetwork( pMan, pNtk, pMan->fMapped ) ) in Ver_ParseGateStandard()
1435 if ( !Ver_ParseConvertNetwork( pMan, pNtk, pMan->fMapped ) ) in Ver_ParseFlopStandard()
1560 if ( 1 != pMan->fMapped ) in Ver_ParseGate()
[all …]
|
| H A D | verParse.c | 45 int Ver_ParseSkipComments( Ver_Man_t * pMan ) in Ver_ParseSkipComments() argument
47 Ver_Stream_t * p = pMan->pReader; in Ver_ParseSkipComments()
51 if ( !Ver_StreamIsOkey(pMan->pReader) ) in Ver_ParseSkipComments()
63 return Ver_ParseSkipComments( pMan ); in Ver_ParseSkipComments()
73 return Ver_ParseSkipComments( pMan ); in Ver_ParseSkipComments()
76 Ver_ParsePrintErrorMessage( pMan ); in Ver_ParseSkipComments()
91 char * Ver_ParseGetName( Ver_Man_t * pMan ) in Ver_ParseGetName() argument
93 Ver_Stream_t * p = pMan->pReader; in Ver_ParseGetName()
96 pMan->fNameLast = 0; in Ver_ParseGetName()
99 if ( !Ver_ParseSkipComments( pMan ) ) in Ver_ParseGetName()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauCanon.c | 1580 pMan->nVars = pMan->nGVars = nVars; in Abc_TgInitMan()
1639 return Abc_TtCannonVerify(pMan->pTruth, pMan->nVars, pMan->pPermT, pMan->uPhase); in Abc_TgCannonVerify()
1688 Abc_TgFlipSymGroupByVar(pMan, pMan->pPerm[idx]); in Abc_TgFlipSymGroup()
1839 Abc_TgSplitGroup(pMan, pMan->pGroup, pStore); in Abc_TgCreateGroups()
1969 memmove(pMan->pGroup, pMan->pGroup + 1, sizeof(TiedGroup) * pMan->nGroups); in Abc_TgPurgeSymmetry()
1983 for (k = pMan->symLink[pMan->nVars]; k >= 0; k = pMan->symLink[k]) in Abc_TgExpendSymmetry()
2025 pMan->nGVars = pMan->pGroup->nGVars = nSVars; in Abc_TgResetGroup1()
2305 for (pGrp = pMan->pGroup; pGrp < pMan->pGroup + pMan->nGroups; pGrp++) in Abc_TgCalcScc()
2325 for (pGrp = pMan->pGroup; pGrp < pMan->pGroup + pMan->nGroups; pGrp++) in Abc_TgSplitGroupsByScc()
2461 nMinScc = Abc_TtScc(pMan->pTruth, pMan->nVars); in Abc_TgRecordPhase1()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
| H A D | ioaWriteAig.c | 311 Vec_StrPrintNum( vBuffer, Aig_ManCiNum(pMan) + Aig_ManNodeNum(pMan) ); in Ioa_WriteAigerIntoMemoryStr()
313 Vec_StrPrintNum( vBuffer, Aig_ManCiNum(pMan) - Aig_ManRegNum(pMan) ); in Ioa_WriteAigerIntoMemoryStr()
317 Vec_StrPrintNum( vBuffer, Aig_ManCoNum(pMan) - Aig_ManRegNum(pMan) ); in Ioa_WriteAigerIntoMemoryStr()
381 if ( pMan->pName ) in Ioa_WriteAigerIntoMemory()
488 Aig_ManCiNum(pMan) + Aig_ManNodeNum(pMan), in Ioa_WriteAiger()
489 Aig_ManCiNum(pMan) - Aig_ManRegNum(pMan), in Ioa_WriteAiger()
490 Aig_ManRegNum(pMan), in Ioa_WriteAiger()
491 Aig_ManConstrNum(pMan) ? 0 : Aig_ManCoNum(pMan) - Aig_ManRegNum(pMan), in Ioa_WriteAiger()
492 Aig_ManNodeNum(pMan) ); in Ioa_WriteAiger()
495 …fprintf( pFile, " %u %u", Aig_ManCoNum(pMan) - Aig_ManRegNum(pMan) - Aig_ManConstrNum(pMan), Aig_M… in Ioa_WriteAiger()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkFlow.c | 60 return pObj->TravId == pObj->pMan->nTravIds - 2 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedBot()
64 return pObj->TravId == pObj->pMan->nTravIds - 1 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedTop()
86 Nwk_ManIncrementTravId( pMan ); in Nwk_ManIncrementTravIdFlow()
449 pMan->nLatches = nLatches; in Nwk_ManRetimeCutForward()
450 pMan->nTruePis = Nwk_ManCiNum(pMan) - nLatches; in Nwk_ManRetimeCutForward()
451 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutForward()
502 Nwk_ManCleanMarks( pMan ); in Nwk_ManRetimeCutForward()
530 pMan->nLatches = nLatches; in Nwk_ManRetimeCutBackward()
531 pMan->nTruePis = Nwk_ManCiNum(pMan) - nLatches; in Nwk_ManRetimeCutBackward()
532 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutBackward()
[all …]
|
| H A D | nwkFlow_depth.c | 62 return pObj->TravId == pObj->pMan->nTravIds - 2 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedBot()
66 return pObj->TravId == pObj->pMan->nTravIds - 1 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedTop()
88 Nwk_ManIncrementTravId( pMan ); in Nwk_ManIncrementTravIdFlow()
470 pMan->nLatches = nLatches; in Nwk_ManRetimeCutForward()
471 pMan->nTruePis = Nwk_ManCiNum(pMan) - nLatches; in Nwk_ManRetimeCutForward()
472 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutForward()
527 Nwk_ManCleanMarks( pMan ); in Nwk_ManRetimeCutForward()
555 pMan->nLatches = nLatches; in Nwk_ManRetimeCutBackward()
556 pMan->nTruePis = Nwk_ManCiNum(pMan) - nLatches; in Nwk_ManRetimeCutBackward()
557 pMan->nTruePos = Nwk_ManCoNum(pMan) - nLatches; in Nwk_ManRetimeCutBackward()
[all …]
|
| H A D | nwkStrash.c | 70 Hop_Man_t * pMan = pObj->pMan->pManHop; in Nwk_ManStrashNode() local
76 if ( Hop_Regular(pRoot) == Hop_ManConst1(pMan) ) in Nwk_ManStrashNode()
80 Hop_IthVar(pMan, i)->pData = pFanin->pCopy; in Nwk_ManStrashNode()
102 Aig_Man_t * pMan; in Nwk_ManStrash() local
106 pMan = Aig_ManStart( Nwk_ManGetAigNodeNum(pNtk) ); in Nwk_ManStrash()
107 pMan->pName = Abc_UtilStrsav( pNtk->pName ); in Nwk_ManStrash()
108 pMan->pSpec = Abc_UtilStrsav( pNtk->pSpec ); in Nwk_ManStrash()
119 pObjNew = Aig_ObjCreateCi(pMan); in Nwk_ManStrash()
138 Aig_ManCleanup( pMan ); in Nwk_ManStrash()
139 Aig_ManSetRegNum( pMan, 0 ); in Nwk_ManStrash()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
| H A D | fraigCanon.c | 62 return Fraig_Not(pMan->pConst1); in Fraig_NodeAndCanon()
65 if ( p1 == pMan->pConst1 ) in Fraig_NodeAndCanon()
67 return Fraig_Not(pMan->pConst1); in Fraig_NodeAndCanon()
71 if ( p2 == pMan->pConst1 ) in Fraig_NodeAndCanon()
73 return Fraig_Not(pMan->pConst1); in Fraig_NodeAndCanon()
149 if ( !pMan->fFuncRed ) in Fraig_NodeAndCanon()
155 pMan->nSatZeros++; in Fraig_NodeAndCanon()
174 fUseSatCheck = (pMan->nInspLimit == 0 || Fraig_ManReadInspects(pMan) < pMan->nInspLimit); in Fraig_NodeAndCanon()
175 … if ( fUseSatCheck && Fraig_NodeIsEquivalent( pMan, pNodeOld, pNodeNew, pMan->nBTLimit, 1000000 ) ) in Fraig_NodeAndCanon()
184 if ( pMan->fChoicing && !Fraig_CheckTfi( pMan, pNodeOld, pNodeNew ) ) in Fraig_NodeAndCanon()
[all …]
|
| H A D | fraigChoice.c | 60 if (fShortCut) Fraig_ManSetFuncRed( pMan, 0 ); in Fraig_ManAddChoices()
73 nNodesBefore = Fraig_ManReadNodeNum( pMan ); in Fraig_ManAddChoices()
74 nInputs = Fraig_ManReadInputNum( pMan ); in Fraig_ManAddChoices()
87 Fraig_ManCheckConsistency( pMan ); in Fraig_ManAddChoices()
95 pNode = Fraig_ManReadIthNode( pMan, i ); in Fraig_ManAddChoices()
133 pN = Fraig_NodeAnd(pMan, pA, Fraig_NodeAnd(pMan, pB, pC)); in Fraig_ManAddChoices()
147 pN = Fraig_NodeAnd(pMan, pB, Fraig_NodeAnd(pMan, pA, pC)); in Fraig_ManAddChoices()
174 pN = Fraig_NodeAnd(pMan, Fraig_NodeAnd(pMan, pA, pB), pC); in Fraig_ManAddChoices()
187 pN = Fraig_NodeAnd(pMan, Fraig_NodeAnd(pMan, pA, pC), pB); in Fraig_ManAddChoices()
231 Fraig_ManCheckConsistency( pMan ); in Fraig_ManAddChoices()
[all …]
|
| H A D | fraigUtil.c | 62 pMan->nTravIds++; in Fraig_Dfs()
65 Fraig_Dfs_rec( pMan, Fraig_Regular(pMan->vOutputs->pArray[i]), vNodes, fEquiv ); in Fraig_Dfs()
83 pMan->nTravIds++; in Fraig_DfsOne()
104 pMan->nTravIds++; in Fraig_DfsNodes()
128 pNode->TravId = pMan->nTravIds; in Fraig_Dfs_rec()
177 pMan->nTravIds++; in Fraig_CheckTfi()
204 pNode->TravId = pMan->nTravIds; in Fraig_CheckTfi_rec()
459 pNode->TravId = pMan->nTravIds; in Fraig_MappingUpdateLevel_rec()
502 pMan->nTravIds++; in Fraig_MappingSetChoiceLevels()
504 Fraig_MappingUpdateLevel_rec( pMan, Fraig_Regular(pMan->vOutputs->pArray[i]), fMaximum ); in Fraig_MappingSetChoiceLevels()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsStrash.c | 72 pRoot = Aig_ManCo( pMan, 0 ); in Abc_MfsConvertAigToHop()
77 Aig_ManCleanData( pMan ); in Abc_MfsConvertAigToHop()
183 pRoot = Aig_ManConst0(pMan); in Abc_NtkConstructAig_rec()
235 Aig_Man_t * pMan; in Abc_NtkConstructAig() local
310 Aig_ManCleanup( pMan ); in Abc_NtkConstructAig()
311 return pMan; in Abc_NtkConstructAig()
328 Aig_Man_t * pMan; in Abc_NtkAigForConstraints() local
364 Aig_ManCleanup( pMan ); in Abc_NtkAigForConstraints()
365 return pMan; in Abc_NtkAigForConstraints()
389 Aig_Man_t * pMan; in Abc_NtkConstraintRatio() local
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSemi.c | 74 p->nFramesSweep = Abc_MaxInt( (1<<21)/Aig_ManNodeNum(pMan->pAig), pMan->nFrames ); in Ssw_SemManStart()
77 p->pMan = pMan; in Ssw_SemManStart()
160 if ( Abc_InfoHasBit( p->pMan->pPatWords, Saig_ManPiNum(p->pMan->pAig) + i ) ) in Ssw_ManFilterBmcSavePattern()
304 pMan->nStrangers = 0; in Ssw_FilterUsingSemi()
305 pMan->nSatCalls = 0; in Ssw_FilterUsingSemi()
306 pMan->nSatProof = 0; in Ssw_FilterUsingSemi()
309 pMan->nSatCallsSat = 0; in Ssw_FilterUsingSemi()
310 pMan->timeSimSat = 0; in Ssw_FilterUsingSemi()
311 pMan->timeSat = 0; in Ssw_FilterUsingSemi()
312 pMan->timeSatSat = 0; in Ssw_FilterUsingSemi()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
| H A D | fpgaUtils.c | 64 for ( i = 0; i < pMan->nInputs; i++ ) in Fpga_MappingDfs()
66 pNode = pMan->pInputs[i]; in Fpga_MappingDfs()
248 aTotal += Fpga_MappingArea_rec( pMan, Fpga_Regular(pMan->pOutputs[i]), vNodes ); in Fpga_MappingAreaTrav()
319 if ( pNode == pMan->pConst1 ) in Fpga_MappingSetRefsAndArea()
326 pMan->vMapping->nSize = 0; in Fpga_MappingSetRefsAndArea()
836 pNode->TravId = pMan->nTravIds; in Fpga_MappingUpdateLevel_rec()
879 pMan->nTravIds++; in Fpga_MappingSetChoiceLevels()
881 Fpga_MappingUpdateLevel_rec( pMan, Fpga_Regular(pMan->pOutputs[i]), 1 ); in Fpga_MappingSetChoiceLevels()
905 pMan->nTravIds++; in Fpga_ManReportChoices()
907 Fpga_MappingUpdateLevel_rec( pMan, Fpga_Regular(pMan->pOutputs[i]), 0 ); in Fpga_ManReportChoices()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb1Group.c | 49 p->pMan = pMan; in Llb_ManGroupAlloc()
53 Vec_PtrPush( pMan->vGroups, p ); in Llb_ManGroupAlloc()
180 p = Llb_ManGroupAlloc( pMan ); in Llb_ManGroupCreate()
182 Aig_ManIncrementTravId( pMan->pAig ); in Llb_ManGroupCreate()
212 p = Llb_ManGroupAlloc( pMan ); in Llb_ManGroupCreateFirst()
234 p = Llb_ManGroupAlloc( pMan ); in Llb_ManGroupCreateLast()
256 p = Llb_ManGroupAlloc( p1->pMan ); in Llb_ManGroupsCombine()
317 p = Llb_ManGroupAlloc( pMan ); in Llb_ManGroupCreateFromCuts()
360 assert( pMan->vGroups == NULL ); in Llb_ManPrepareGroups()
362 Llb_ManGroupCreateFirst( pMan ); in Llb_ManPrepareGroups()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/ |
| H A D | mapperUtils.c | 83 for ( i = 0; i < pMan->nOutputs; i++ ) in Map_MappingDfs()
110 for ( i = 0; i < pMan->nOutputs; i++ ) in Map_MappingCountLevels()
116 for ( i = 0; i < pMan->nOutputs; i++ ) in Map_MappingCountLevels()
163 void Map_MappingUnmark( Map_Man_t * pMan ) in Map_MappingUnmark() argument
166 for ( i = 0; i < pMan->nOutputs; i++ ) in Map_MappingUnmark()
754 for ( i = 0; i < pMan->nOutputs; i++ ) in Map_MappingGetMaxLevel()
781 pNode->TravId = pMan->nTravIds; in Map_MappingUpdateLevel_rec()
824 pMan->nTravIds++; in Map_MappingSetChoiceLevels()
826 Map_MappingUpdateLevel_rec( pMan, Map_Regular(pMan->pOutputs[i]), 1 ); in Map_MappingSetChoiceLevels()
850 pMan->nTravIds++; in Map_MappingReportChoices()
[all …]
|