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 [
]