| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcSense.c | 69 Abc_Ntk_t * pMiter; in Abc_NtkSensitivityMiter() local
165 Abc_Ntk_t * pMiter; in Abc_NtkSensitivity() local
|
| H A D | abcQuant.c | 164 Abc_Obj_t * pObj, * pMiter; in Abc_NtkTransRel() local
264 Abc_Obj_t * pMiter; in Abc_NtkInitialState() local
292 Abc_Obj_t * pMiter, * pObj, * pObj0, * pObj1; in Abc_NtkSwapVariables() local
|
| H A D | abcVerify.c | 59 Abc_Ntk_t * pMiter; in Abc_NtkCecSat() local
129 Abc_Ntk_t * pMiter, * pTemp; in Abc_NtkCecFraig() local
258 Abc_Ntk_t * pMiter, * pMiterPart; in Abc_NtkCecFraigPart() local
375 Abc_Ntk_t * pMiter, * pMiterPart; in Abc_NtkCecFraigPartAuto() local
493 Abc_Ntk_t * pMiter; in Abc_NtkSecSat() local
576 Abc_Ntk_t * pMiter; in Abc_NtkSecFraig() local
|
| H A D | abcMiter.c | 284 Abc_Obj_t * pMiter, * pNode; in Abc_NtkMiterFinalize() local
392 Abc_Obj_t * pRoot1, * pRoot2, * pMiter; in Abc_NtkMiterAnd() local
521 Abc_Obj_t * pRoot, * pOutput1, * pOutput2, * pMiter; in Abc_NtkMiterForCofactors() local
588 Abc_Obj_t * pRoot, * pOutput1, * pOutput2, * pMiter; in Abc_NtkMiterQuantify() local
682 int Abc_NtkMiterIsConstant( Abc_Ntk_t * pMiter ) in Abc_NtkMiterIsConstant()
727 void Abc_NtkMiterReport( Abc_Ntk_t * pMiter ) in Abc_NtkMiterReport()
1156 Abc_Obj_t * pNode, * pMiter; in Abc_NtkCombinePos() local
1215 Abc_Ntk_t * pMiter = Abc_NtkMiter( pNtk1_, pNtk2_, 1, 0, 0, 1 ); in Abc_NtkTryNewMiter() local
|
| H A D | abcDress2.c | 146 Vec_Int_t * Abc_NtkDressMapClasses( Aig_Man_t * pMiter, Abc_Ntk_t * pNtk ) in Abc_NtkDressMapClasses()
225 Vec_Ptr_t * Abc_NtkDressMapIds( Aig_Man_t * pMiter, Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2 ) in Abc_NtkDressMapIds()
294 Aig_Man_t * pMan1, * pMan2, * pMiter; in Abc_NtkDressComputeEquivs() local
|
| H A D | abcDress.c | 54 Abc_Ntk_t * pMiter, * pMiterFraig; in Abc_NtkDress() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswPairs.c | 108 Vec_Int_t * Ssw_TransferSignalPairs( Aig_Man_t * pMiter, Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_… in Ssw_TransferSignalPairs()
275 Aig_Man_t * pAigNew, * pMiter; in Ssw_SignalCorrespondenceWithPairs() local
417 Aig_Man_t * pAigRes, * pMiter; in Ssw_SecGeneral() local
452 int Ssw_SecGeneralMiter( Aig_Man_t * pMiter, Ssw_Pars_t * pPars ) in Ssw_SecGeneralMiter()
|
| H A D | sswIslands.c | 370 Vec_Int_t * Ssw_MatchingMiter( Aig_Man_t * pMiter, Aig_Man_t * p0, Aig_Man_t * p1, Vec_Int_t * vPai… in Ssw_MatchingMiter()
423 Aig_Man_t * pMiter, * pAigNew; in Ssw_SecWithSimilaritySweep() local
|
| H A D | sswUnique.c | 153 Aig_Obj_t * pObj, * pObj1New, * pObj2New, * pMiter, * pTotal; in Ssw_ManUniqueAddConstraint() local
|
| H A D | sswAig.c | 91 Aig_Obj_t * pObjNew, * pObjNew2, * pObjRepr, * pObjReprNew, * pMiter; in Ssw_FramesConstrainNode() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigOutDec.c | 51 Aig_Obj_t * pObj0, * pObj1, * pRoot, * pMiter; in Saig_ManFindPrimes() local
153 Aig_Obj_t * pObj, * pMiter; in Saig_ManDecPropertyOutput() local
|
| H A D | saigUnfold2.c | 78 Aig_Obj_t * pMiter = Aig_And( pFrames, pFan0, pFan1 ); in Saig_ManCreateIndMiter2() local
95 Aig_Obj_t * pMiter = Aig_And( pFrames, Aig_And(pFrames, pFan0, pFan1 ), pFan2); in Saig_ManCreateIndMiter2() local
379 Aig_Obj_t * pMiter, * pFlopOut, * pFlopIn, * pObj; in Saig_ManDupFoldConstrsFunc2() local
|
| H A D | saigConstr.c | 287 Aig_Obj_t * pMiter, * pObj; in Saig_ManDupUnfoldConstrs() local
382 Aig_Obj_t * pMiter, * pFlopOut, * pFlopIn, * pObj; in Saig_ManDupFoldConstrs() local
|
| H A D | saigDup.c | 48 Aig_Obj_t * pObj, * pMiter; in Saig_ManDupOrpos() local
94 Aig_Obj_t * pObj, * pObj2, * pMiter; in Saig_ManCreateEquivMiter() local
|
| H A D | saigDual.c | 85 Aig_Obj_t * pObj, * pTemp0, * pTemp1, * pTemp2, * pTemp3, * pCare, * pMiter; in Saig_ManDupDual() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
| H A D | resStrash.c | 53 Abc_Obj_t * pObj, * pMiter; in Res_WndStrash() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
| H A D | cgtSat.c | 46 int Cgt_CheckImplication( Cgt_Man_t * p, Aig_Obj_t * pGate, Aig_Obj_t * pMiter ) in Cgt_CheckImplication()
|
| H A D | cgtAig.c | 214 Aig_Obj_t * pMiter, * pObj, * pTemp; in Cgt_ManConstructCareCondition() local
269 Aig_Obj_t * pObj, * pObjLi, * pObjLo, * pCare, * pMiter; in Cgt_ManDeriveAigForGating() local
|
| H A D | cgtCore.c | 133 Aig_Obj_t * pMiter, * pCand, * pMiterFrame, * pCandFrame, * pMiterPart, * pCandPart; in Cgt_ClockGatingRangeCheck() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcICheck.c | 91 sat_solver * Bmc_DeriveSolver( Gia_Man_t * p, Gia_Man_t * pMiter, Cnf_Dat_t * pCnf, int nFramesMax,… in Bmc_DeriveSolver()
199 Gia_Man_t * pMiter, * pTemp; in Bmc_PerformICheck() local
373 Gia_Man_t * pMiter, * pTemp; in Bmc_PerformISearchOne() local
|
| H A D | bmcEco.c | 265 Gia_Man_t * pMiter; in Bmc_EcoMiterTest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
| H A D | intContain.c | 49 Aig_Man_t * pMiter, * pAigTemp; in Inter_ManCheckContainment() local
80 Aig_Man_t * pMiter, * pAigTemp; in Inter_ManCheckEquivalence() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/ |
| H A D | simSymSat.c | 139 Abc_Ntk_t * pMiter; in Sim_SymmsSatProveOne() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecCec.c | 71 int Cec_ManVerifyOld( Gia_Man_t * pMiter, int fVerbose, int * piOutFail, abctime clkTotal, int fSil… in Cec_ManVerifyOld()
450 Gia_Man_t * pMiter; in Cec_ManVerifyTwo() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
| H A D | sscCore.c | 234 Gia_Man_t * pMiter = Gia_ManMiter( p0c, p1c, 0, 1, 0, 0, 0 ); in Ssc_PerformVerification() local
|