Lines Matching refs:pNtk
193 Vec_Int_t * Io_WriteAigerLiterals( Abc_Ntk_t * pNtk ) in Io_WriteAigerLiterals() argument
198 vLits = Vec_IntAlloc( Abc_NtkCoNum(pNtk) ); in Io_WriteAigerLiterals()
199 Abc_NtkForEachLatchInput( pNtk, pObj, i ) in Io_WriteAigerLiterals()
204 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteAigerLiterals()
269 void Io_WriteAiger_old( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int fCompact ) in Io_WriteAiger_old() argument
278 fExtended = Abc_NtkConstrNum(pNtk); in Io_WriteAiger_old()
280 assert( Abc_NtkIsStrash(pNtk) ); in Io_WriteAiger_old()
281 Abc_NtkForEachLatch( pNtk, pObj, i ) in Io_WriteAiger_old()
303 Io_ObjSetAigerNum( Abc_AigConst1(pNtk), nNodes++ ); in Io_WriteAiger_old()
304 Abc_NtkForEachCi( pNtk, pObj, i ) in Io_WriteAiger_old()
306 Abc_AigForEachAnd( pNtk, pObj, i ) in Io_WriteAiger_old()
312 Abc_NtkPiNum(pNtk) + Abc_NtkLatchNum(pNtk) + Abc_NtkNodeNum(pNtk), in Io_WriteAiger_old()
313 Abc_NtkPiNum(pNtk), in Io_WriteAiger_old()
314 Abc_NtkLatchNum(pNtk), in Io_WriteAiger_old()
315 fExtended ? 0 : Abc_NtkPoNum(pNtk), in Io_WriteAiger_old()
316 Abc_NtkNodeNum(pNtk) ); in Io_WriteAiger_old()
319 … fprintf( pFile, " %u %u", Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk), Abc_NtkConstrNum(pNtk) ); in Io_WriteAiger_old()
326 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger_old()
330 Abc_NtkForEachLatch( pNtk, pLatch, i ) in Io_WriteAiger_old()
347 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteAiger_old()
355 Vec_Int_t * vLits = Io_WriteAigerLiterals( pNtk ); in Io_WriteAiger_old()
361 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger_old()
365 nBufferSize = 6 * Abc_NtkNodeNum(pNtk) + 100; // skeptically assuming 3 chars per one AIG edge in Io_WriteAiger_old()
367 pProgress = Extra_ProgressBarStart( stdout, Abc_NtkObjNumMax(pNtk) ); in Io_WriteAiger_old()
368 Abc_AigForEachAnd( pNtk, pObj, i ) in Io_WriteAiger_old()
401 Abc_NtkForEachPi( pNtk, pObj, i ) in Io_WriteAiger_old()
404 Abc_NtkForEachLatch( pNtk, pObj, i ) in Io_WriteAiger_old()
407 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteAiger_old()
410 else if ( i < Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk) ) in Io_WriteAiger_old()
413 …fprintf( pFile, "c%d %s\n", i - (Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk)), Abc_ObjName(pObj) ); in Io_WriteAiger_old()
418 if ( pNtk->pName && strlen(pNtk->pName) > 0 ) in Io_WriteAiger_old()
419 fprintf( pFile, ".model %s\n", pNtk->pName ); in Io_WriteAiger_old()
436 void Io_WriteAigerGz( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols ) in Io_WriteAigerGz() argument
445 assert( Abc_NtkIsStrash(pNtk) ); in Io_WriteAigerGz()
454 fExtended = Abc_NtkConstrNum(pNtk); in Io_WriteAigerGz()
458 Io_ObjSetAigerNum( Abc_AigConst1(pNtk), nNodes++ ); in Io_WriteAigerGz()
459 Abc_NtkForEachCi( pNtk, pObj, i ) in Io_WriteAigerGz()
461 Abc_AigForEachAnd( pNtk, pObj, i ) in Io_WriteAigerGz()
466 Abc_NtkPiNum(pNtk) + Abc_NtkLatchNum(pNtk) + Abc_NtkNodeNum(pNtk), in Io_WriteAigerGz()
467 Abc_NtkPiNum(pNtk), in Io_WriteAigerGz()
468 Abc_NtkLatchNum(pNtk), in Io_WriteAigerGz()
469 fExtended ? 0 : Abc_NtkPoNum(pNtk), in Io_WriteAigerGz()
470 Abc_NtkNodeNum(pNtk) ); in Io_WriteAigerGz()
473 … gzprintf( pFile, " %u %u", Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk), Abc_NtkConstrNum(pNtk) ); in Io_WriteAigerGz()
481 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAigerGz()
482 Abc_NtkForEachLatch( pNtk, pLatch, i ) in Io_WriteAigerGz()
499 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteAigerGz()
504 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAigerGz()
508 nBufferSize = 6 * Abc_NtkNodeNum(pNtk) + 100; // skeptically assuming 3 chars per one AIG edge in Io_WriteAigerGz()
510 pProgress = Extra_ProgressBarStart( stdout, Abc_NtkObjNumMax(pNtk) ); in Io_WriteAigerGz()
511 Abc_AigForEachAnd( pNtk, pObj, i ) in Io_WriteAigerGz()
544 Abc_NtkForEachPi( pNtk, pObj, i ) in Io_WriteAigerGz()
547 Abc_NtkForEachLatch( pNtk, pObj, i ) in Io_WriteAigerGz()
550 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteAigerGz()
553 else if ( i < Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk) ) in Io_WriteAigerGz()
556 …gzprintf( pFile, "c%d %s\n", i - (Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk)), Abc_ObjName(pObj) … in Io_WriteAigerGz()
561 if ( pNtk->pName && strlen(pNtk->pName) > 0 ) in Io_WriteAigerGz()
562 gzprintf( pFile, ".model %s\n", pNtk->pName ); in Io_WriteAigerGz()
635 void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int fCompact, int fUniqu… in Io_WriteAiger() argument
652 fExtended = Abc_NtkConstrNum(pNtk); in Io_WriteAiger()
655 assert( Abc_NtkIsStrash(pNtk) ); in Io_WriteAiger()
656 Abc_NtkForEachLatch( pNtk, pObj, i ) in Io_WriteAiger()
671 Io_WriteAigerGz( pNtk, pFileName, fWriteSymbols ); in Io_WriteAiger()
700 Io_ObjSetAigerNum( Abc_AigConst1(pNtk), nNodes++ ); in Io_WriteAiger()
701 Abc_NtkForEachCi( pNtk, pObj, i ) in Io_WriteAiger()
703 Abc_AigForEachAnd( pNtk, pObj, i ) in Io_WriteAiger()
709 Abc_NtkPiNum(pNtk) + Abc_NtkLatchNum(pNtk) + Abc_NtkNodeNum(pNtk), in Io_WriteAiger()
710 Abc_NtkPiNum(pNtk), in Io_WriteAiger()
711 Abc_NtkLatchNum(pNtk), in Io_WriteAiger()
712 fExtended ? 0 : Abc_NtkPoNum(pNtk), in Io_WriteAiger()
713 Abc_NtkNodeNum(pNtk) ); in Io_WriteAiger()
716 …fprintfBz2Aig( &b, " %u %u", Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk), Abc_NtkConstrNum(pNtk) ); in Io_WriteAiger()
723 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger()
727 Abc_NtkForEachLatch( pNtk, pLatch, i ) in Io_WriteAiger()
744 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteAiger()
752 Vec_Int_t * vLits = Io_WriteAigerLiterals( pNtk ); in Io_WriteAiger()
770 Abc_NtkInvertConstraints( pNtk ); in Io_WriteAiger()
774 nBufferSize = 6 * Abc_NtkNodeNum(pNtk) + 100; // skeptically assuming 3 chars per one AIG edge in Io_WriteAiger()
776 pProgress = Extra_ProgressBarStart( stdout, Abc_NtkObjNumMax(pNtk) ); in Io_WriteAiger()
777 Abc_AigForEachAnd( pNtk, pObj, i ) in Io_WriteAiger()
823 Abc_NtkForEachPi( pNtk, pObj, i ) in Io_WriteAiger()
826 Abc_NtkForEachLatch( pNtk, pObj, i ) in Io_WriteAiger()
829 Abc_NtkForEachPo( pNtk, pObj, i ) in Io_WriteAiger()
832 else if ( i < Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk) ) in Io_WriteAiger()
835 …fprintfBz2Aig( &b, "c%d %s\n", i - (Abc_NtkPoNum(pNtk) - Abc_NtkConstrNum(pNtk)), Abc_ObjName(pObj… in Io_WriteAiger()
842 if ( pNtk->pName && strlen(pNtk->pName) > 0 ) in Io_WriteAiger()
843 fprintfBz2Aig( &b, "\n%s%c", pNtk->pName, '\0' ); in Io_WriteAiger()
880 void Io_WriteAigerCex( Abc_Cex_t * pCex, Abc_Ntk_t * pNtk, void * pG, char * pFileName ) in Io_WriteAigerCex() argument
882 extern Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ); in Io_WriteAigerCex()
891 if ( pNtk != NULL && in Io_WriteAigerCex()
892 Abc_NtkPiNum(pNtk) == pCex->nPis && in Io_WriteAigerCex()
893 Abc_NtkLatchNum(pNtk) == pCex->nRegs ) in Io_WriteAigerCex()
895 pAig = Abc_NtkToDar( pNtk, 0, 1 ); in Io_WriteAigerCex()