Searched defs:pNtkF (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbFunc.c | 864 Vec_Int_t * Acb_DeriveWeights( Vec_Int_t * vDivs, Acb_Ntk_t * pNtkF ) in Acb_DeriveWeights()
1163 …t_t * pCnf, int iTar, int nTargets, int nCoDivs, Vec_Int_t * vDivs, Acb_Ntk_t * pNtkF, Vec_Int_t *… in Acb_DerivePatchSupport()
1356 …rtS( Cnf_Dat_t * pCnf, int nCiTars, int nCoDivs, Vec_Int_t * vDivs, Acb_Ntk_t * pNtkF, Vec_Int_t *… in Acb_DerivePatchSupportS()
2149 void Acb_PrintPatch( Acb_Ntk_t * pNtkF, Vec_Int_t * vDivs, Vec_Int_t * vUsed, abctime clk ) in Acb_PrintPatch()
2482 int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileName[4], int fCisOnly, int… in Acb_NtkEcoPerform()
2725 Acb_Ntk_t * pNtkF = Acb_VerilogSimpleRead( pFileNames[0], pFileNames[2] ); in Acb_NtkRunEco() local
|
| H A D | acbUtil.c | 667 Acb_Ntk_t * pNtkF = Acb_VerilogSimpleRead( pFileName0, NULL ); in Acb_NtkExtract() local
779 Abc_Ntk_t * pNtkF = Io_Read( pFileName0, Io_ReadFileType(pFileName0), 1, 0 ); in Abc_NtkExtract() local
|