diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-01 08:01:00 -0700 |
| commit | b2470dd3da962026fd874e13c2cf78c10099fe68 (patch) | |
| tree | 1f05e75c3017afc746283ecdcef83808fec75d2a /src/opt/lpk/lpkAbcDsd.c | |
| parent | 9f5ef0d6184ef9c73591250ef00b18edfd99885b (diff) | |
| download | abc-b2470dd3da962026fd874e13c2cf78c10099fe68.tar.gz abc-b2470dd3da962026fd874e13c2cf78c10099fe68.tar.bz2 abc-b2470dd3da962026fd874e13c2cf78c10099fe68.zip | |
Version abc70901
Diffstat (limited to 'src/opt/lpk/lpkAbcDsd.c')
| -rw-r--r-- | src/opt/lpk/lpkAbcDsd.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/lpk/lpkAbcDsd.c b/src/opt/lpk/lpkAbcDsd.c index 893844e0..8de8391f 100644 --- a/src/opt/lpk/lpkAbcDsd.c +++ b/src/opt/lpk/lpkAbcDsd.c @@ -6,7 +6,7 @@ PackageName [Fast Boolean matching for LUT structures.] - Synopsis [] + Synopsis [LUT-decomposition based on recursive DSD.] Author [Alan Mishchenko] @@ -266,7 +266,7 @@ void Lpk_FunFreeTruthTables( Lpk_Fun_t * p, int nCofDepth, unsigned * ppTruths[5 SeeAlso [] ***********************************************************************/ -Lpk_Res_t * Lpk_FunAnalizeDsd( Lpk_Fun_t * p, int nCofDepth ) +Lpk_Res_t * Lpk_DsdAnalize( Lpk_Fun_t * p, int nCofDepth ) { static Lpk_Res_t Res, * pRes = &Res; unsigned * ppTruths[5][16]; @@ -330,7 +330,7 @@ Lpk_Res_t * Lpk_FunAnalizeDsd( Lpk_Fun_t * p, int nCofDepth ) SeeAlso [] ***********************************************************************/ -Lpk_Fun_t * Lpk_FunSplitDsd( Lpk_Fun_t * p, char * pCofVars, int nCofVars, unsigned uBoundSet ) +Lpk_Fun_t * Lpk_DsdSplit( Lpk_Fun_t * p, char * pCofVars, int nCofVars, unsigned uBoundSet ) { Kit_DsdMan_t * pDsdMan; Kit_DsdNtk_t * pNtkDec, * pTemp; |