Searched refs:Bmc_FxCompute (Results 1 – 2 of 2) sorted by relevance
593 int Bmc_FxCompute( Gia_Man_t * p ) in Bmc_FxCompute() function
43992 extern int Bmc_FxCompute( Gia_Man_t * p ); in Abc_CommandAbc9SatFx()44045 Bmc_FxCompute( pAbc->pGia ); in Abc_CommandAbc9SatFx()