Searched defs:nFramesAdd (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcMfs.c | 398 Abc_Ntk_t * Abc_NtkUnrollAndDrop( Abc_Ntk_t * p, int nFrames, int nFramesAdd, Vec_Int_t * vFlops, i… in Abc_NtkUnrollAndDrop() 528 int Abc_NtkMfsAfterICheck( Abc_Ntk_t * p, int nFrames, int nFramesAdd, Vec_Int_t * vFlops, Sfm_Par_… in Abc_NtkMfsAfterICheck()
|
H A D | abc.c | 5410 int c, fIndDCs = 0, fUseAllFfs = 0, nFramesAdd = 0; in Abc_CommandMfs2() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmcG.c | 187 Gia_Man_t * Bmcg_ManUnfold( Bmcg_Man_t * p, int f, int nFramesAdd ) in Bmcg_ManUnfold() 233 Cnf_Dat_t * Bmcg_ManAddNewCnf( Bmcg_Man_t * p, int f, int nFramesAdd ) in Bmcg_ManAddNewCnf()
|
H A D | bmcBmcAnd.c | 74 Vec_Ptr_t * Bmc_MnaTernary( Gia_Man_t * p, int nFrames, int nFramesAdd, int fVerbose, int * iFirst ) in Bmc_MnaTernary() 284 Gia_Man_t * Gia_ManBmcUnroll( Gia_Man_t * pGia, int nFramesMax, int nFramesAdd, int fVerbose, Vec_I… in Gia_ManBmcUnroll()
|
H A D | bmcBmcS.c | 491 Gia_Man_t * Bmcs_ManUnfold( Bmcs_Man_t * p, int f, int nFramesAdd ) in Bmcs_ManUnfold() 537 Cnf_Dat_t * Bmcs_ManAddNewCnf( Bmcs_Man_t * p, int f, int nFramesAdd ) in Bmcs_ManAddNewCnf()
|
H A D | bmc.h | 131 int nFramesAdd; // the number of additional frames member
|