Data Fields | |
int | nNodeSizeMax |
int | nConeSizeMax |
int | nNodeFanStop |
int | nConeFanStop |
Vec_Ptr_t * | vNodeLeaves |
Vec_Ptr_t * | vConeLeaves |
Vec_Ptr_t * | vVisited |
Vec_Vec_t * | vLevels |
Vec_Ptr_t * | vNodesTfo |
CFile****************************************************************
FileName [abcReconv.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Computation of reconvergence-driven cuts.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
] DECLARATIONS ///
Definition at line 27 of file abcReconv.c.
Definition at line 33 of file abcReconv.c.
Definition at line 31 of file abcReconv.c.
Definition at line 32 of file abcReconv.c.
Definition at line 30 of file abcReconv.c.
Definition at line 36 of file abcReconv.c.
Definition at line 38 of file abcReconv.c.
Definition at line 35 of file abcReconv.c.
Definition at line 39 of file abcReconv.c.
Definition at line 37 of file abcReconv.c.