Searched refs:Gia_ManBuiltInSimPack (Results 1 – 1 of 1) sorted by relevance
946 int Gia_ManBuiltInSimPack( Gia_Man_t * p, Vec_Int_t * vPat ) in Gia_ManBuiltInSimPack() function967 int k, iLit, iPat = Gia_ManBuiltInSimPack( p, vPat ); in Gia_ManBuiltInSimAddPat()