ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
rewire_map.h
Go to the documentation of this file.
1
20
21#ifndef REWIRE_MAP_H
22#define REWIRE_MAP_H
23
24#include "base/abc/abc.h"
25#include "aig/gia/giaAig.h"
26#include "map/amap/amap.h"
27#include "map/mio/mio.h"
28#include "aig/miniaig/miniaig.h"
29
30ABC_NAMESPACE_HEADER_START
31
32Abc_Ntk_t *Gia_ManRewirePut(Gia_Man_t *pGia);
33Abc_Ntk_t *Abc_ManRewireMapAmap(Abc_Ntk_t *pNtk);
34Abc_Ntk_t *Gia_ManRewireMapNf(Gia_Man_t *pGia);
35Abc_Ntk_t *Gia_ManRewireMapSimap(Gia_Man_t *pGia, int nBound, int nBTLimit, int nTimeout);
36Vec_Int_t *Abc_ManRewireNtkWriteMiniMapping(Abc_Ntk_t *pNtk);
37Abc_Ntk_t *Abc_ManRewireNtkFromMiniMapping(int *vMapping);
38Mini_Aig_t *Abc_ManRewireMiniAigFromNtk(Abc_Ntk_t *pNtk);
39
40ABC_NAMESPACE_HEADER_END
41
42#endif // REWIRE_MAP_H
Abc_Ntk_t
struct Abc_Ntk_t_ Abc_Ntk_t
Definition abc.h:115
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
Vec_Int_t
typedefABC_NAMESPACE_IMPL_START struct Vec_Int_t_ Vec_Int_t
DECLARATIONS ///.
Definition bblif.c:37
Gia_Man_t
struct Gia_Man_t_ Gia_Man_t
Definition gia.h:96
Mini_Aig_t
struct Mini_Aig_t_ Mini_Aig_t
BASIC TYPES ///.
Definition miniaig.h:48
Abc_ManRewireMiniAigFromNtk
Mini_Aig_t * Abc_ManRewireMiniAigFromNtk(Abc_Ntk_t *pNtk)
Definition rewire_map.c:86
Gia_ManRewireMapNf
Abc_Ntk_t * Gia_ManRewireMapNf(Gia_Man_t *pGia)
Definition rewire_map.c:57
Abc_ManRewireMapAmap
Abc_Ntk_t * Abc_ManRewireMapAmap(Abc_Ntk_t *pNtk)
Definition rewire_map.c:46
Abc_ManRewireNtkWriteMiniMapping
Vec_Int_t * Abc_ManRewireNtkWriteMiniMapping(Abc_Ntk_t *pNtk)
Definition rewire_map.c:78
Gia_ManRewireMapSimap
Abc_Ntk_t * Gia_ManRewireMapSimap(Gia_Man_t *pGia, int nBound, int nBTLimit, int nTimeout)
Definition rewire_map.c:69
Abc_ManRewireNtkFromMiniMapping
Abc_Ntk_t * Abc_ManRewireNtkFromMiniMapping(int *vMapping)
Definition rewire_map.c:82
Gia_ManRewirePut
ABC_NAMESPACE_HEADER_START Abc_Ntk_t * Gia_ManRewirePut(Gia_Man_t *pGia)
Definition rewire_map.c:38