|
abc-master
|
type definitions /// More...
Data Fields | |
| int | nIns |
| int | nInsP |
| int | nCols |
| int | nMulti |
| int | nSimple |
| int | Level |
| DdNode ** | pbCols |
| DdNode ** | pbCodes |
| DdNode ** | paNodes |
| DdNode * | bRelation |
type definitions ///
CFile****************************************************************
FileName [casDec.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [CASCADE: Decomposition of shared BDDs into a LUT cascade.]
Synopsis [BDD-based decomposition with encoding.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - Spring 2002.]
Revision [
]