abc-master
|
#include "cov.h"
Go to the source code of this file.
Functions | |
ABC_NAMESPACE_IMPL_START Cov_Man_t * | Cov_ManAlloc (Abc_Ntk_t *pNtk, int nFaninMax) |
DECLARATIONS ///. More... | |
void | Cov_ManFree (Cov_Man_t *p) |
void | Abc_NodeCovDropData (Cov_Man_t *p, Abc_Obj_t *pObj) |
Function*************************************************************
Synopsis [Drop the covers at the node.]
Description []
SideEffects []
SeeAlso []
Definition at line 126 of file covMan.c.
ABC_NAMESPACE_IMPL_START Cov_Man_t* Cov_ManAlloc | ( | Abc_Ntk_t * | pNtk, |
int | nFaninMax | ||
) |
DECLARATIONS ///.
CFile****************************************************************
FileName [covMan.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Mapping into network of SOPs/ESOPs.]
Synopsis [Decomposition manager.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 45 of file covMan.c.
void Cov_ManFree | ( | Cov_Man_t * | p | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 92 of file covMan.c.