| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdPath.c | 153 if ( !Gia_ManHasMapping(p) ) in Sbc_ManDelayTrace()
158 assert( Gia_ManHasMapping(p) ); in Sbc_ManDelayTrace()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEdge.c | 180 if ( Gia_ManHasMapping(p) && Gia_ObjIsLut(p, iObj) ) in Gia_ObjEvalEdgeDelay()
207 if ( Gia_ManHasMapping(p) ) in Gia_ManEvalEdgeDelay()
308 if ( Gia_ManHasMapping(p) && Gia_ObjIsLut(p, iObj) ) in Gia_ObjComputeEdgeDelay()
399 if ( Gia_ManHasMapping(p) ) in Gia_ManComputeEdgeDelay()
529 if ( Gia_ManHasMapping(p) && Gia_ObjIsLut(p, iObj) ) in Gia_ObjComputeEdgeDelay2()
583 if ( Gia_ManHasMapping(p) ) in Gia_ManComputeEdgeDelay2()
660 assert( Gia_ManHasMapping(p) ); in Edg_ManToMapping()
|
| H A D | giaMan.c | 580 if ( Gia_ManHasMapping(p) && (pPars == NULL || !pPars->fSkipMap) ) in Gia_ManPrintStats()
584 if ( pPars && pPars->fNpn && Gia_ManHasMapping(p) && Gia_ManLutSizeMax(p) <= 4 ) in Gia_ManPrintStats()
590 if ( pPars && pPars->fLutProf && Gia_ManHasMapping(p) ) in Gia_ManPrintStats()
802 assert( Gia_ManHasMapping(p) ); in Gia_ManPrintNpnClasses()
928 if ( Gia_ManHasMapping(p) ) in Gia_ManDfsCollect_rec()
1019 if ( Gia_ManHasMapping(p) ) in Gia_ManDfsArrivals()
1105 if ( Gia_ManHasMapping(p) ) in Gia_ManDfsRequireds()
1142 if ( Gia_ManHasMapping(p) && !Gia_ObjIsLut(p, i) ) in Gia_ManDfsSlacks()
|
| H A D | giaSplit.c | 73 assert( Gia_ManHasMapping(p) ); in Spl_ManToWecMapping()
140 assert( Gia_ManHasMapping(pGia) ); in Spl_ManAlloc()
153 assert( !Gia_ManHasMapping(p->pGia) ); in Spl_ManStop()
|
| H A D | giaShrink.c | 59 assert( Gia_ManHasMapping(p) ); in Gia_ManMapShrink4()
|
| H A D | giaAigerExt.c | 174 assert( Gia_ManHasMapping(p) ); in Gia_AigerWriteMappingInt()
|
| H A D | giaBalMap.c | 191 if ( Gia_ManHasMapping(p) ) in Gia_ManFindLatest()
|
| H A D | giaIf.c | 331 assert( Gia_ManHasMapping(p) ); in Gia_ManComputeOverlap2()
374 assert( Gia_ManHasMapping(p) ); in Gia_ManComputeOverlap()
458 if ( !Gia_ManHasMapping(p) ) in Gia_ManPrintMappingStats()
2038 assert( Gia_ManHasMapping(p) ); in Gia_ManMappingVerify()
2086 if ( !Gia_ManHasMapping(pGia) ) in Gia_ManTransferMapping()
2551 assert( Gia_ManHasMapping(p) ); in Gia_ManDupHashMapping()
|
| H A D | giaSatLE.c | 559 if ( !Gia_ManHasMapping(p->pGia) ) in Sle_ManDeriveInit()
948 …int DelayStart = (DelayInit || !Gia_ManHasMapping(pGia)) ? DelayInit : Gia_ManLutLevel(pGia, NULL); in Sle_ManExplore()
|
| H A D | giaSwitch.c | 787 if ( Gia_ManHasMapping(p) ) in Gia_ManComputeSwitching()
|
| H A D | giaSatEdge.c | 83 assert( Gia_ManHasMapping(p) ); in Seg_ManCountIntEdges()
|
| H A D | giaFx.c | 465 assert( Gia_ManHasMapping(p) ); in Gia_ManPerformFx()
|
| H A D | giaShrink6.c | 410 assert( Gia_ManHasMapping(p) ); in Gia_ManMapShrink6()
|
| H A D | giaScript.c | 410 if ( Gia_ManHasMapping(pInit) ) in Gia_ManAigSynch2()
|
| H A D | giaAig.c | 585 if ( fUseMapping && Gia_ManHasMapping(p) ) in Gia_ManPerformDch()
|
| H A D | giaMini.c | 311 assert( Gia_ManHasMapping(pGia) ); in Gia_ManToMiniLut()
|
| H A D | giaSpeedup.c | 639 assert( Gia_ManHasMapping(p) ); in Gia_ManSpeedup()
|
| H A D | giaMuxes.c | 238 assert( !Gia_ManHasMapping(p) ); in Gia_ManMuxRestructure()
|
| H A D | giaShow.c | 58 assert( Gia_ManHasMapping(p) ); in Gia_ShowPath()
|
| H A D | giaAiger.c | 1313 if ( Gia_ManHasMapping(p) ) in Gia_AigerWrite()
|
| H A D | giaBalAig.c | 1071 pNew0 = Gia_ManHasMapping(p) ? (Gia_Man_t *)Dsm_ManDeriveGia(p, 0) : Gia_ManDup(p); in Gia_ManAreaBalance()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecSt.c | 357 assert( Gia_ManHasMapping(p) ); in Acec_StatsCollect()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauGia.c | 511 assert( Gia_ManHasMapping(p) ); in Dsm_ManDeriveGia()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 30518 if ( !Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Save()
30571 if ( !Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Save2()
30985 if ( !Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9WriteLut()
34193 if ( !Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Bidec()
34262 if ( !Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Shrink()
34356 if ( !Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Fx()
37865 if ( Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9If()
38216 if ( !Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Iff()
39022 if ( Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Lf()
39685 if ( Gia_ManHasMapping(pAbc->pGia) ) in Abc_CommandAbc9Of()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTune.c | 838 assert( Gia_ManHasMapping(p) ); in If_ManDeriveGiaFromCells()
|