Searched refs:Abc_SopSynthesize (Results 1 – 2 of 2) sorted by relevance
1895 extern Vec_Wec_t * Abc_SopSynthesize( Vec_Ptr_t * vSops ); in Acb_GeneratePatch()1897 …Vec_Wec_t * vGates = vGias ? Abc_GiaSynthesize(vGias, NULL) : Abc_SopSynthesize(vSops); Vec_Int_t… in Acb_GeneratePatch()
3117 Vec_Wec_t * Abc_SopSynthesize( Vec_Ptr_t * vSops ) in Abc_SopSynthesize() function