Searched defs:pGiaG (Results 1 – 2 of 2) sorted by relevance
674 Gia_Man_t * pGiaG = Acb_NtkToGia2( pNtkG, 0, NULL, nTargets ); in Acb_NtkExtract() local785 Gia_Man_t * pGiaG = Abc_NtkToGia2( pNtkG, 0 ); in Abc_NtkExtract() local
2503 Gia_Man_t * pGiaG = Acb_NtkToGia( pNtkG, vSupp, vNodesG, vRoots, NULL, NULL ); in Acb_NtkEcoPerform() local