Searched defs:pAig1 (Results 1 – 9 of 9) sorted by relevance
/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() 272 Aig_Man_t * Ssw_SignalCorrespondenceWithPairs( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vI… in Ssw_SignalCorrespondenceWithPairs() 380 int Ssw_SecWithPairs( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vIds1, Vec_Int_t * vIds2, S… in Ssw_SecWithPairs() 415 int Ssw_SecGeneral( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Ssw_Pars_t * pPars ) in Ssw_SecGeneral()
|
H A D | sswCore.c | 113 Aig_Man_t * pAig1, * pAig2, * pAux; in Ssw_ReportConeReductions() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigIso.c | 186 int Iso_ManCheckMapping( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vMap2to1, int fVerbose ) in Iso_ManCheckMapping() 264 Vec_Int_t * Iso_ManFindMapping( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vPerm1_, Vec_Int_… in Iso_ManFindMapping() 594 Aig_Man_t * Iso_ManTest888( Aig_Man_t * pAig1, int fVerbose ) in Iso_ManTest888()
|
H A D | saigConstr.c | 442 Aig_Man_t * pAig1, * pAig2; in Saig_ManFoldConstrTest() local
|
H A D | saigSynch.c | 556 Aig_Man_t * Saig_Synchronize( Aig_Man_t * pAig1, Aig_Man_t * pAig2, int nWords, int fVerbose ) in Saig_Synchronize()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioReadBblif.c | 246 Abc_Ntk_t * pAig1, * pAig2; in Bbl_ManVerify() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecCec.c | 476 int Cec_ManVerifyTwoAigs( Aig_Man_t * pAig0, Aig_Man_t * pAig1, int fVerbose ) in Cec_ManVerifyTwoAigs()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDress2.c | 293 Abc_Ntk_t * pAig1, * pAig2; in Abc_NtkDressComputeEquivs() local
|
H A D | abc.c | 28752 Aig_Man_t * pAig1 = NULL, * pAig2 = NULL; in Abc_CommandReconcile() local
|