Searched refs:vSimsPo (Results 1 – 3 of 3) sorted by relevance
100 Vec_WrdFreeP( &p->vSimsPo ); in Gia_ManStop()
212 Vec_Wrd_t * vSimsPo; member
32795 Vec_WrdFreeP( &pAbc->pGia->vSimsPo ); in Abc_CommandAbc9ReadSim()32796 pAbc->pGia->vSimsPo = Gia_ManSimPatRead( pArgvNew[0] ); in Abc_CommandAbc9ReadSim()32797 if ( Vec_WrdSize(pAbc->pGia->vSimsPo) % Gia_ManCoNum(pAbc->pGia) != 0 ) in Abc_CommandAbc9ReadSim()32799 Vec_WrdFreeP( &pAbc->pGia->vSimsPo ); in Abc_CommandAbc9ReadSim()32801 … Vec_WrdSize(pAbc->pGia->vSimsPo), Vec_WrdSize(pAbc->pGia->vSimsPo), Gia_ManCiNum(pAbc->pGia), in Abc_CommandAbc9ReadSim()32802 Vec_WrdSize(pAbc->pGia->vSimsPo) % Gia_ManCiNum(pAbc->pGia) ); in Abc_CommandAbc9ReadSim()32805 pAbc->pGia->nSimWords = Vec_WrdSize(pAbc->pGia->vSimsPo) / Gia_ManCoNum(pAbc->pGia); in Abc_CommandAbc9ReadSim()32878 if ( (fOutputs ? pAbc->pGia->vSimsPo : pAbc->pGia->vSimsPi) == NULL ) in Abc_CommandAbc9WriteSim()32892 assert( Vec_WrdSize(pAbc->pGia->vSimsPo) % Gia_ManCoNum(pAbc->pGia) == 0 ); in Abc_CommandAbc9WriteSim()32893 …Gia_ManSimPatWrite( pArgvNew[0], pAbc->pGia->vSimsPo, Vec_WrdSize(pAbc->pGia->vSimsPo) / Gia_ManCo… in Abc_CommandAbc9WriteSim()