abc-master
|
Go to the source code of this file.
Functions | |
ABC_NAMESPACE_HEADER_START Gia_Man_t * | Gia_ManFromAig (Aig_Man_t *p) |
INCLUDES ///. More... | |
Gia_Man_t * | Gia_ManFromAigChoices (Aig_Man_t *p) |
Gia_Man_t * | Gia_ManFromAigSimple (Aig_Man_t *p) |
Gia_Man_t * | Gia_ManFromAigSwitch (Aig_Man_t *p) |
Aig_Man_t * | Gia_ManToAig (Gia_Man_t *p, int fChoices) |
Aig_Man_t * | Gia_ManToAigSkip (Gia_Man_t *p, int nOutDelta) |
Aig_Man_t * | Gia_ManToAigSimple (Gia_Man_t *p) |
void | Gia_ManReprToAigRepr (Aig_Man_t *pAig, Gia_Man_t *pGia) |
void | Gia_ManReprToAigRepr2 (Aig_Man_t *pAig, Gia_Man_t *pGia) |
void | Gia_ManReprFromAigRepr (Aig_Man_t *pAig, Gia_Man_t *pGia) |
void | Gia_ManReprFromAigRepr2 (Aig_Man_t *pAig, Gia_Man_t *pGia) |
Gia_Man_t * | Gia_ManCompress2 (Gia_Man_t *p, int fUpdateLevel, int fVerbose) |
Gia_Man_t * | Gia_ManPerformDch (Gia_Man_t *p, void *pPars) |
Gia_Man_t * | Gia_ManAbstraction (Gia_Man_t *p, Vec_Int_t *vFlops) |
void | Gia_ManSeqCleanupClasses (Gia_Man_t *p, int fConst, int fEquiv, int fVerbose) |
int | Gia_ManSolveSat (Gia_Man_t *p) |
Function*************************************************************
Synopsis [Applies DC2 to the GIA manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 551 of file giaAig.c.
ABC_NAMESPACE_HEADER_START Gia_Man_t* Gia_ManFromAig | ( | Aig_Man_t * | p | ) |
INCLUDES ///.
CFile****************************************************************
FileName [giaAig.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Scalable AIG package.]
Synopsis [External declarations.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]PARAMETERS ///BASIC TYPES ///MACRO DEFINITIONS ///FUNCTION DECLARATIONS ///
Definition at line 73 of file giaAig.c.
Definition at line 132 of file giaAig.c.
Function*************************************************************
Synopsis [Duplicates AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 171 of file giaAig.c.
Function*************************************************************
Synopsis [Handles choices as additional combinational outputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 211 of file giaAig.c.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 577 of file giaAig.c.
Function*************************************************************
Synopsis [Transfers representatives from pGia to pAig.]
Description [Assumes that pGia was created from pAig.]
SideEffects []
SeeAlso []
Definition at line 435 of file giaAig.c.
Definition at line 459 of file giaAig.c.
void Gia_ManSeqCleanupClasses | ( | Gia_Man_t * | p, |
int | fConst, | ||
int | fEquiv, | ||
int | fVerbose | ||
) |
Function*************************************************************
Synopsis [Computes equivalences after structural sequential cleanup.]
Description []
SideEffects []
SeeAlso []
Definition at line 603 of file giaAig.c.
int Gia_ManSolveSat | ( | Gia_Man_t * | p | ) |
Function*************************************************************
Synopsis [Solves SAT problem.]
Description []
SideEffects []
SeeAlso []
Definition at line 624 of file giaAig.c.
Definition at line 277 of file giaAig.c.
Function*************************************************************
Synopsis [Duplicates AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 367 of file giaAig.c.
Function*************************************************************
Synopsis [Duplicates AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 324 of file giaAig.c.