Searched refs:Abc_NtkSpec (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbAbc.c | 49 Acb_Man_t * pMan = Acb_ManAlloc( Abc_NtkSpec(p), 1, NULL, NULL, NULL, NULL ); in Acb_NtkFromAbc2() 75 Acb_Man_t * pMan = Acb_ManAlloc( Abc_NtkSpec(p), 1, NULL, NULL, NULL, NULL ); in Acb_NtkFromAbc()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcHieCec.c | 271 pGia->pSpec = Abc_UtilStrsav( Abc_NtkSpec(pNtk) ); in Abc_NtkDeriveFlatGia() 348 pGia->pSpec = Abc_UtilStrsav( Abc_NtkSpec(pNtk) ); in Abc_NtkDeriveFlatGia2Derive()
|
H A D | abcFunc.c | 989 pNew->pSpec = Abc_UtilStrsav( Abc_NtkSpec(p) ); in Abc_NtkAigToGia()
|
H A D | abc.h | 273 static inline char * Abc_NtkSpec( Abc_Ntk_t * pNtk ) { return pNtk->pSpec; … in Abc_NtkSpec() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDress3.c | 173 p->pSpec = Abc_UtilStrsav( Abc_NtkSpec(pNtk1) ); in Abc_NtkAigToGiaTwo()
|
H A D | abc.c | 8184 char * pFileName = Extra_FileNameGenericAppend(Abc_NtkSpec(pNtk), "_faults.txt"); in Abc_CommandFaultClasses() 16899 if ( argc == globalUtilOptind && Abc_NtkSpec(pNtk) == NULL ) in Abc_CommandFraigDress() 16905 pFileName = (argc == globalUtilOptind + 1) ? argv[globalUtilOptind] : Abc_NtkSpec(pNtk); in Abc_CommandFraigDress()
|