rewire_map.h File Reference

#include "base/abc/abc.h"
#include "aig/gia/giaAig.h"
#include "map/amap/amap.h"
#include "map/mio/mio.h"
#include "aig/miniaig/miniaig.h"

Include dependency graph for rewire_map.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
ABC_NAMESPACE_HEADER_START Abc_Ntk_t *	Gia_ManRewirePut (Gia_Man_t *pGia)
Abc_Ntk_t *	Abc_ManRewireMapAmap (Abc_Ntk_t *pNtk)
Abc_Ntk_t *	Gia_ManRewireMapNf (Gia_Man_t *pGia)
Abc_Ntk_t *	Gia_ManRewireMapSimap (Gia_Man_t *pGia, int nBound, int nBTLimit, int nTimeout)
Vec_Int_t *	Abc_ManRewireNtkWriteMiniMapping (Abc_Ntk_t *pNtk)
Abc_Ntk_t *	Abc_ManRewireNtkFromMiniMapping (int *vMapping)
Mini_Aig_t *	Abc_ManRewireMiniAigFromNtk (Abc_Ntk_t *pNtk)

Function Documentation

Abc_ManRewireMapAmap()

Abc_Ntk_t * Abc_ManRewireMapAmap

(

Abc_Ntk_t *

pNtk

)

Definition at line 46 of file rewire_map.c.

                                                 {
    Amap_Par_t Pars, *pPars = &Pars;
    Amap_ManSetDefaultParams(pPars);
    Abc_Ntk_t *pNtkMapped = Abc_NtkDarAmap(pNtk, pPars);
    if (pNtkMapped == NULL) {
        Abc_Print(-1, "Mapping has failed.\n");
        return NULL;
    }
    return pNtkMapped;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_ManRewireMiniAigFromNtk()

Mini_Aig_t * Abc_ManRewireMiniAigFromNtk

(

Abc_Ntk_t *

pNtk

)

Definition at line 86 of file rewire_map.c.

                                                         {
    return Abc_MiniAigFromNtk(pNtk);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_ManRewireNtkFromMiniMapping()

Abc_Ntk_t * Abc_ManRewireNtkFromMiniMapping

(

int *

vMapping

)

Definition at line 82 of file rewire_map.c.

                                                          {
    return Abc_NtkFromMiniMapping(vMapping);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_ManRewireNtkWriteMiniMapping()

Vec_Int_t * Abc_ManRewireNtkWriteMiniMapping

(

Abc_Ntk_t *

pNtk

)

Definition at line 78 of file rewire_map.c.

                                                             {
    return Abc_NtkWriteMiniMapping(pNtk);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Gia_ManRewireMapNf()

Abc_Ntk_t * Gia_ManRewireMapNf

(

Gia_Man_t *

pGia

)

Definition at line 57 of file rewire_map.c.

                                               {
    Jf_Par_t Pars, * pPars = &Pars;
    Nf_ManSetDefaultPars( pPars );
    Gia_Man_t *pGiaNew = Nf_ManPerformMapping(pGia, pPars);
    if (pGiaNew == NULL) {
        Abc_Print(-1, "Mapping has failed.\n");
        return NULL;
    }
    Abc_Ntk_t *pNtkMapped = Abc_NtkFromCellMappedGia(pGiaNew, 0);
    return pNtkMapped;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Gia_ManRewireMapSimap()

Abc_Ntk_t * Gia_ManRewireMapSimap	(	Gia_Man_t *	pGia,
		int	nBound,
		int	nBTLimit,
		int	nTimeout )

Definition at line 69 of file rewire_map.c.

                                                                                          {
    if (!Gia_ManSimpleMapping(pGia, nBound, 0, nBTLimit, nTimeout, 0, 0, 0, NULL)) {
        // Abc_Print(-1, "Mapping has failed.\n");
        return NULL;
    }
    Abc_Ntk_t *pNtkMapped = Abc_NtkFromCellMappedGia(pGia, 0);
    return pNtkMapped;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Gia_ManRewirePut()

ABC_NAMESPACE_HEADER_START Abc_Ntk_t * Gia_ManRewirePut

(

Gia_Man_t *

pGia

)

CFile****************************************************************

FileName [rewire_map.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Re-wiring.]

Synopsis []

Author [Jiun-Hao Chen]

Affiliation [National Taiwan University]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

rewire_map.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 38 of file rewire_map.c.

                                             {
    Aig_Man_t *pMan = Gia_ManToAig(pGia, 0);
    Abc_Ntk_t *pNtk = Abc_NtkFromAigPhase(pMan);
    Abc_NtkSetName(pNtk, Abc_UtilStrsav(Gia_ManName(pGia)));
    Aig_ManStop(pMan);
    return pNtk;
}

Here is the call graph for this function:

Here is the caller graph for this function: