Home
last modified time | relevance | path

Searched defs:pAig1 (Results 1 – 9 of 9) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswPairs.c108 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 DsswCore.c113 Aig_Man_t * pAig1, * pAig2, * pAux; in Ssw_ReportConeReductions() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigIso.c186 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 DsaigConstr.c442 Aig_Man_t * pAig1, * pAig2; in Saig_ManFoldConstrTest() local
H A DsaigSynch.c556 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 DioReadBblif.c246 Abc_Ntk_t * pAig1, * pAig2; in Bbl_ManVerify() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecCec.c476 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 DabcDress2.c293 Abc_Ntk_t * pAig1, * pAig2; in Abc_NtkDressComputeEquivs() local
H A Dabc.c28752 Aig_Man_t * pAig1 = NULL, * pAig2 = NULL; in Abc_CommandReconcile() local