/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaKf.c | 43 void Kf_ManSetDefaultPars( Jf_Par_t * pPars ) {} in Kf_ManSetDefaultPars() 44 Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) { return NULL; } in Kf_ManPerformMapping()
|
H A D | giaFrames.c | 33 Gia_ParFra_t * pPars; // parameters member 44 Gia_ParFra_t * pPars; // parameters member 225 Gia_ManUnr_t * Gia_ManUnrStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManUnrStart() 402 void * Gia_ManUnrollStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManUnrollStart() 507 Gia_Man_t * Gia_ManUnroll( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManUnroll() 608 Gia_Man_t * Gia_ManFrames2( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFrames2() 650 Gia_ManFra_t * Gia_ManFraStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFraStart() 727 Gia_Man_t * Gia_ManFramesInit( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFramesInit() 840 Gia_Man_t * Gia_ManFrames( Gia_Man_t * pAig, Gia_ParFra_t * pPars ) in Gia_ManFrames()
|
H A D | giaScript.c | 72 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSyn2() local 155 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSyn3() local 187 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSyn4() local 359 …_ManAigSynch2Choices( Gia_Man_t * pGia1, Gia_Man_t * pGia2, Gia_Man_t * pGia3, Dch_Pars_t * pPars ) in Gia_ManAigSynch2Choices() 392 Jf_Par_t Pars, * pPars = &Pars; in Gia_ManAigSynch2() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraSec.c | 98 Fra_Ssw_t Pars, * pPars = &Pars; in Fra_FraigSec() local 478 Inter_ManParams_t Pars, * pPars = &Pars; in Fra_FraigSec() local 574 Saig_ParBbr_t Pars, * pPars = &Pars; in Fra_FraigSec() local 592 Pdr_Par_t Pars, * pPars = &Pars; in Fra_FraigSec() local
|
H A D | fraMan.c | 45 void Fra_ParamsDefault( Fra_Par_t * pPars ) in Fra_ParamsDefault() 75 void Fra_ParamsDefaultSeq( Fra_Par_t * pPars ) in Fra_ParamsDefaultSeq() 104 Fra_Man_t * Fra_ManStart( Aig_Man_t * pManAig, Fra_Par_t * pPars ) in Fra_ManStart()
|
H A D | fraCore.c | 375 Aig_Man_t * Fra_FraigPerform( Aig_Man_t * pManAig, Fra_Par_t * pPars ) in Fra_FraigPerform() 444 Fra_Par_t Pars, * pPars = &Pars; in Fra_FraigChoice() local 471 Fra_Par_t Pars, * pPars = &Pars; in Fra_FraigEquivence() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecMan.c | 45 Cec_ManSat_t * Cec_ManSatCreate( Gia_Man_t * pAig, Cec_ParSat_t * pPars ) in Cec_ManSatCreate() 198 Cec_ManSim_t * Cec_ManSimStart( Gia_Man_t * pAig, Cec_ParSim_t * pPars ) in Cec_ManSimStart() 262 Cec_ManFra_t * Cec_ManFraStart( Gia_Man_t * pAig, Cec_ParFra_t * pPars ) in Cec_ManFraStart()
|
H A D | cecCore.c | 235 Gia_Man_t * Cec_ManSatSolving( Gia_Man_t * pAig, Cec_ParSat_t * pPars ) in Cec_ManSatSolving() 260 int Cec_ManSimulationOne( Gia_Man_t * pAig, Cec_ParSim_t * pPars ) in Cec_ManSimulationOne() 287 void Cec_ManSimulation( Gia_Man_t * pAig, Cec_ParSim_t * pPars ) in Cec_ManSimulation() 340 Gia_Man_t * Cec_ManSatSweeping( Gia_Man_t * pAig, Cec_ParFra_t * pPars, int fSilent ) in Cec_ManSatSweeping()
|
H A D | cecChoice.c | 201 int Cec_ManChoiceComputation_int( Gia_Man_t * pAig, Cec_ParChc_t * pPars ) in Cec_ManChoiceComputation_int() 313 Gia_Man_t * Cec_ManChoiceComputationVec( Gia_Man_t * pGia, int nGias, Cec_ParChc_t * pPars ) in Cec_ManChoiceComputationVec() 351 Dch_Pars_t Pars, * pPars = &Pars; in Cec_ManChoiceComputation() local 385 Aig_Man_t * Cec_ComputeChoices( Gia_Man_t * pGia, Dch_Pars_t * pPars ) in Cec_ComputeChoices()
|
H A D | cecCec.c | 142 int Cec_ManHandleSpecialCases( Gia_Man_t * p, Cec_ParCec_t * pPars ) in Cec_ManHandleSpecialCases() 226 int Cec_ManVerifyNaive( Gia_Man_t * p, Cec_ParCec_t * pPars ) in Cec_ManVerifyNaive() 326 int Cec_ManVerify( Gia_Man_t * pInit, Cec_ParCec_t * pPars ) in Cec_ManVerify() 428 Cec_ParCec_t ParsCec, * pPars = &ParsCec; in Cec_ManVerifySimple() local 449 Cec_ParCec_t ParsCec, * pPars = &ParsCec; in Cec_ManVerifyTwo() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
H A D | lpkMan.c | 45 Lpk_Man_t * Lpk_ManStart( Lpk_Par_t * pPars ) in Lpk_ManStart() 107 void * pPars = p->pIfMan->pPars; in Lpk_ManStop() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
H A D | darCore.c | 60 void Dar_ManDefaultRwrParams( Dar_RwrPar_t * pPars ) in Dar_ManDefaultRwrParams() 83 int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ) in Dar_ManRewrite() 228 Dar_RwrPar_t Pars, * pPars = &Pars; in Dar_ManComputeCuts() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
H A D | sscCore.c | 80 Ssc_Man_t * Ssc_ManStart( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars ) in Ssc_ManStart() 226 Cec_ParCec_t ParsCec, * pPars = &ParsCec; in Ssc_PerformVerification() local 264 Gia_Man_t * Ssc_PerformSweepingInt( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars ) in Ssc_PerformSweepingInt() 413 Gia_Man_t * Ssc_PerformSweeping( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars ) in Ssc_PerformSweeping() 420 Gia_Man_t * Ssc_PerformSweepingConstr( Gia_Man_t * p, Ssc_Pars_t * pPars ) in Ssc_PerformSweepingConstr()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmCore.c | 75 Gia_Man_t * Mpm_ManPerformLutMapping( Mig_Man_t * pMig, Mpm_Par_t * pPars ) in Mpm_ManPerformLutMapping() 90 Gia_Man_t * Mpm_ManLutMapping( Gia_Man_t * pGia, Mpm_Par_t * pPars ) in Mpm_ManLutMapping()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchCore.c | 89 Aig_Man_t * Dch_ComputeChoices( Aig_Man_t * pAig, Dch_Pars_t * pPars ) in Dch_ComputeChoices() 134 void Dch_ComputeEquivalences( Aig_Man_t * pAig, Dch_Pars_t * pPars ) in Dch_ComputeEquivalences()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswPairs.c | 272 …s( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vIds1, Vec_Int_t * vIds2, Ssw_Pars_t * pPars ) in Ssw_SignalCorrespondenceWithPairs() 320 Ssw_Pars_t Pars, * pPars = &Pars; in Ssw_SignalCorrespondeceTestPairs() local 380 …s( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vIds1, Vec_Int_t * vIds2, Ssw_Pars_t * pPars ) in Ssw_SecWithPairs() 415 int Ssw_SecGeneral( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Ssw_Pars_t * pPars ) in Ssw_SecGeneral() 452 int Ssw_SecGeneralMiter( Aig_Man_t * pMiter, Ssw_Pars_t * pPars ) in Ssw_SecGeneralMiter()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
H A D | llb1Core.c | 112 int Llb_ManModelCheckAig( Aig_Man_t * pAigGlo, Gia_ParLlb_t * pPars, Vec_Int_t * vHints, DdManager … in Llb_ManModelCheckAig() 197 int Llb_ManModelCheckGia( Gia_Man_t * pGia, Gia_ParLlb_t * pPars ) in Llb_ManModelCheckGia()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsCore.c | 47 void Abc_NtkMfsParsDefault( Mfs_Par_t * pPars ) in Abc_NtkMfsParsDefault() 154 void Abc_NtkMfsPowerResub( Mfs_Man_t * p, Mfs_Par_t * pPars) in Abc_NtkMfsPowerResub() 377 int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) in Abc_NtkMfs()
|
H A D | mfsCore_.c | 45 void Abc_NtkMfsParsDefault( Mfs_Par_t * pPars ) in Abc_NtkMfsParsDefault() 206 int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars ) in Abc_NtkMfs()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darCore.c | 51 void Dar_ManDefaultRwrParams( Dar_RwrPar_t * pPars ) in Dar_ManDefaultRwrParams() 78 int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ) in Dar_ManRewrite() 290 Dar_RwrPar_t Pars, * pPars = &Pars; in Dar_ManComputeCuts() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | fahout_cut.c | 142 …Abc_Obj_t * pLut, Vec_Ptr_t * vStart, Vec_Ptr_t * vNext, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectNonOverlapCands() 232 void Abc_NtkCollectOverlapCands( Abc_Obj_t * pLut, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectOverlapCands() 282 Vec_Int_t * Abc_NtkLutMerge( Abc_Ntk_t * pNtk, Nwk_LMPars_t * pPars ) in Abc_NtkLutMerge()
|
H A D | abcMerge.c | 142 …Abc_Obj_t * pLut, Vec_Ptr_t * vStart, Vec_Ptr_t * vNext, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectNonOverlapCands() 232 void Abc_NtkCollectOverlapCands( Abc_Obj_t * pLut, Vec_Ptr_t * vCands, Nwk_LMPars_t * pPars ) in Abc_NtkCollectOverlapCands() 282 Vec_Int_t * Abc_NtkLutMerge( Abc_Ntk_t * pNtk, Nwk_LMPars_t * pPars ) in Abc_NtkLutMerge()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkMap.c | 46 void Nwk_ManSetIfParsDefault( If_Par_t * pPars ) in Nwk_ManSetIfParsDefault() 103 If_Man_t * Nwk_ManToIf( Aig_Man_t * p, If_Par_t * pPars, Vec_Ptr_t * vAigToIf ) in Nwk_ManToIf() 360 Nwk_Man_t * Nwk_MappingIf( Aig_Man_t * p, Tim_Man_t * pManTime, If_Par_t * pPars ) in Nwk_MappingIf()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
H A D | cgtCore.c | 245 Vec_Vec_t * Cgt_ClockGatingCandidates( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_… in Cgt_ClockGatingCandidates() 287 Vec_Vec_t * Cgt_ClockGatingInt( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_Int_t *… in Cgt_ClockGatingInt() 298 Aig_Man_t * Cgt_ClockGating( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars ) in Cgt_ClockGating()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmCore.c | 45 void Sfm_ParSetDefault( Sfm_Par_t * pPars ) in Sfm_ParSetDefault() 293 int Sfm_NtkPerform( Sfm_Ntk_t * p, Sfm_Par_t * pPars ) in Sfm_NtkPerform()
|