Home
last modified time | relevance | path

Searched defs:pFileName0 (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSim4.c44 int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nWords, int nBeam, in… in Gia_Sim4Try()
H A DgiaTim.c1020 char pFileName0[1000], pFileName1[1000]; in Gia_ManVerifyWithBoxes() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c663 int Acb_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, in Acb_NtkExtract()
776 int Abc_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, in Abc_NtkExtract()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcMiter.c1204 Vec_Ptr_t * Abc_NtkTryNewMiter( char * pFileName0, char * pFileName1 ) in Abc_NtkTryNewMiter()
H A DabcDar.c2662 char * pFileNameGeneric, pFileName0[1000], pFileName1[1000]; in Abc_NtkDarDemiter() local
2713 char * pFileNameGeneric, pFileName0[1000], pFileName1[1000]; in Abc_NtkDarDemiterNew() local
2766 char * pFileNameGeneric, pFileName0[1000], pFileName1[1000]; in Abc_NtkDarDemiterDual() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcBlast.c2466 char pFileName0[1000], pFileName1[1000]; in Wlc_NtkBitBlast() local