Searched refs:Cec_ParCor_t (Results 1 – 9 of 9) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cec.h | 136 typedef struct Cec_ParCor_t_ Cec_ParCor_t; typedef
207 extern int Cec_ManLSCorrespondenceClasses( Gia_Man_t * pAig, Cec_ParCor_t * pPars );
208 extern Gia_Man_t * Cec_ManLSCorrespondence( Gia_Man_t * pAig, Cec_ParCor_t * pPars );
215 extern void Cec_ManCorSetDefaultParams( Cec_ParCor_t * p );
|
| H A D | cecSynth.c | 328 Cec_ParCor_t CorPars, * pCorPars = &CorPars; in Cec_SequentialSynthesisPart()
338 Cec_ParCor_t CorPars, * pCorPars = &CorPars; in Cec_SequentialSynthesisPart()
|
| H A D | cecCore.c | 182 void Cec_ManCorSetDefaultParams( Cec_ParCor_t * p ) in Cec_ManCorSetDefaultParams()
184 memset( p, 0, sizeof(Cec_ParCor_t) ); in Cec_ManCorSetDefaultParams()
|
| H A D | cecCec.c | 510 Cec_ParCor_t CorPars, * pCorPars = &CorPars; in Cec_LatchCorrespondence()
536 Cec_ParCor_t CorPars, * pCorPars = &CorPars; in Cec_SignalCorrespondence()
|
| H A D | cecCorr.c | 771 void Cec_ManLSCorrespondenceBmc( Gia_Man_t * pAig, Cec_ParCor_t * pPars, int nPrefs ) in Cec_ManLSCorrespondenceBmc()
909 int Cec_ManLSCorrespondenceClasses( Gia_Man_t * pAig, Cec_ParCor_t * pPars ) in Cec_ManLSCorrespondenceClasses()
1147 Gia_Man_t * Cec_ManLSCorrespondence( Gia_Man_t * pAig, Cec_ParCor_t * pPars ) in Cec_ManLSCorrespondence()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSweep.c | 634 Cec_ManLSCorrespondenceClasses( pNew, (Cec_ParCor_t *)pParsS ); in Gia_ManSweepComputeOneDomainEquivs()
739 Cec_ManLSCorrespondenceClasses( pClp, (Cec_ParCor_t *)pParsS ); in Gia_ManSweepWithBoxes()
|
| H A D | giaDup.c | 4809 void Gia_ManSeqEquivDivide( Gia_Man_t * p, Cec_ParCor_t * pPars ) in Gia_ManSeqEquivDivide()
4830 Gia_Man_t * Gia_ManScorrDivideTest( Gia_Man_t * p, Cec_ParCor_t * pPars ) in Gia_ManScorrDivideTest()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcScorr.c | 387 Cec_ParCor_t CorPars, * pCorPars = &CorPars; in Abc_NtkTestScorr()
|
| H A D | abc.c | 35365 Cec_ParCor_t Pars, * pPars = &Pars; in Abc_CommandAbc9Lcorr()
35476 extern Gia_Man_t * Gia_ManScorrDivideTest( Gia_Man_t * p, Cec_ParCor_t * pPars ); in Abc_CommandAbc9Scorr()
35477 Cec_ParCor_t Pars, * pPars = &Pars; in Abc_CommandAbc9Scorr()
|