Searched refs:Saig_ManDupWithPhase (Results 1 – 3 of 3) sorted by relevance
134 extern Aig_Man_t * Saig_ManDupWithPhase( Aig_Man_t * pAig, Vec_Int_t * vInit );
482 Aig_Man_t * Saig_ManDupWithPhase( Aig_Man_t * pAig, Vec_Int_t * vInit ) in Saig_ManDupWithPhase() function
1013 Aig_Man_t * pNewAig = Saig_ManDupWithPhase( pAig, p->vInits ); in Ssw_RarSimulate()