Home
last modified time | relevance | path

Searched defs:nFramesAdd (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcMfs.c398 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 Dabc.c5410 int c, fIndDCs = 0, fUseAllFfs = 0, nFramesAdd = 0; in Abc_CommandMfs2() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmcG.c187 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 DbmcBmcAnd.c74 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 DbmcBmcS.c491 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 Dbmc.h131 int nFramesAdd; // the number of additional frames member