Home
last modified time | relevance | path

Searched refs:Gia_ManHashStart (Results 1 – 25 of 31) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaTis.c64 Gia_ManHashStart( pNew ); in Gia_ManTisDupMuxes()
H A DgiaMuxes.c114 Gia_ManHashStart( pNew ); in Gia_ManDupMuxes()
171 Gia_ManHashStart( pNew ); in Gia_ManDupNoMuxes()
248 Gia_ManHashStart( pNew ); in Gia_ManMuxRestructure()
H A DgiaSweeper.c150 Gia_ManHashStart( pGia ); in Gia_SweeperStart()
382 Gia_ManHashStart( pNew ); in Gia_SweeperExtractUserLogic()
486 Gia_ManHashStart( pNew ); in Gia_SweeperCleanup()
H A DgiaExist.c240 Gia_ManHashStart( pNew ); in Gia_ManQuantDupConeSupp()
417 Gia_ManHashStart( pNew ); in Gia_ManQuantExist2Dup()
H A DgiaFx.c332 Gia_ManHashStart( pNew ); in Gia_ManFxInsert()
H A DgiaBalAig.c409 Gia_ManHashStart( pNew ); in Gia_ManBalanceInt()
808 Gia_ManHashStart( pNew ); in Dam_ManMultiAig()
H A DgiaHash.c125 void Gia_ManHashStart( Gia_Man_t * p ) in Gia_ManHashStart() function
H A DgiaSpeedup.c680 Gia_ManHashStart( pNew ); in Gia_ManSpeedup()
H A DgiaCof.c758 Gia_ManHashStart( pGia ); in Gia_ManPrintFanio()
H A DgiaStr.c180 Gia_ManHashStart( pNew ); in Str_NtkToGia()
1306 Gia_ManHashStart( pNew ); in Str_NtkBalance()
H A DgiaBalLut.c933 Gia_ManHashStart( pNew ); in Gia_ManBalanceInt()
H A DgiaDup.c730 Gia_ManHashStart( pNew ); in Gia_ManDup2()
991 Gia_ManHashStart( pNew ); in Gia_ManDupAppend()
1009 Gia_ManHashStart( pNew ); in Gia_ManDupAppendShare()
3641 Gia_ManHashStart( p ); in Gia_ManOneHot()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatSolver2i.c68 Gia_ManHashStart( p->pGia ); in Int2_ManStart()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcCexCut.c278 Gia_ManHashStart( pNew ); in Bmc_GiaGenerateGiaAllFrames()
404 Gia_ManHashStart( pNew ); in Bmc_GiaGenerateGiaAllOne()
H A DbmcBmcG.c80 p->pFrames = Gia_ManStart( 3*Gia_ManObjNum(pGia) ); Gia_ManHashStart(p->pFrames); in Bmcg_ManStart()
H A DbmcUnroll.c337 Gia_ManHashStart( p->pFrames ); in Unr_ManAlloc()
H A DbmcBmcAnd.c328 Gia_ManHashStart( pNew ); in Gia_ManBmcUnroll()
H A DbmcBmcS.c375 p->pFrames = Gia_ManStart( 3*Gia_ManObjNum(pGia) ); Gia_ManHashStart(p->pFrames); in Bmcs_ManStart()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/
H A Dreadmeaig31 - If structural hashing is to be used, start hash table by calling Gia_ManHashStart().
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscCore.c312 Gia_ManHashStart( p->pFraig ); in Ssc_PerformSweepingInt()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauGia.c527 Gia_ManHashStart( pNew ); in Dsm_ManDeriveGia()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcRec3.c589 Gia_ManHashStart( pGia ); in Abc_NtkRecLibMerge3()
845 Gia_ManHashStart( s_pMan3->pGia ); in Abc_NtkRecAdd3()
H A DabcCollapse.c281 Gia_ManHashStart( pNew );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifTune.c494 Gia_ManHashStart( pNew ); in Ifn_ManStrFindModel()
855 Gia_ManHashStart( pNew ); in If_ManDeriveGiaFromCells()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcDfs.c995 Gia_ManHashStart( pNew ); in Abc_NtkFunctionalIsoGia()

12