Home
last modified time | relevance | path

Searched refs:Abc_NtkToBdd (Results 1 – 9 of 9) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioWriteCnf.c72 Abc_NtkToBdd( pNtk ); in Io_WriteCnf()
H A DioReadBench.c308 if ( !Abc_NtkToBdd(pNtk) ) in Io_ReadBenchNetwork()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c444 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkEliminate()
736 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkEliminateSpecial()
783 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkEliminateSpecial()
H A DabcBlifMv.c967 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkConvertToBlifMv()
H A DabcFunc.c1208 int Abc_NtkToBdd( Abc_Ntk_t * pNtk ) in Abc_NtkToBdd() function
H A Dabc.h682 extern ABC_DLL int Abc_NtkToBdd( Abc_Ntk_t * pNtk );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcSweep.c613 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkSweep()
H A DabcLutmin.c748 Abc_NtkToBdd( pNtkNew ); in Abc_NtkLutmin()
H A Dabc.c2422 Abc_NtkToBdd(pNtk); in Abc_CommandPrintKMap()
10702 if ( !Abc_NtkToBdd(pNtk) ) in Abc_CommandBdd()
25025 Abc_NtkToBdd( pNtk ); in Abc_CommandSat()