luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added DSD-based collapsing &dsd.

This commit is contained in:
Alan Mishchenko 2014-08-16 18:38:34 -07:00
parent 1537244935
commit 7c8136c82d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaClp.c
View File

@ -173,7 +173,7 @@ Gia_Man_t * Gia_ManRebuild( Gia_Man_t * p, Dsd_Manager_t * pManDsd, DdManager *
Gia_Man_t * pNew; Gia_Man_t * pNew;
Dsd_Node_t ** ppNodesDsd; Dsd_Node_t ** ppNodesDsd;
Dsd_Node_t * pNodeDsd; Dsd_Node_t * pNodeDsd;
int i, iLit, nNodesDsd; int i, nNodesDsd, iLit = -1;
Vec_Str_t * vSop, * vCube; Vec_Str_t * vSop, * vCube;
Vec_Int_t * vFanins; Vec_Int_t * vFanins;

2
src/base/abci/abc.c
View File

@ -10428,7 +10428,7 @@ int Abc_CommandTestColor( Abc_Frame_t * pAbc, int argc, char ** argv )
***********************************************************************/ ***********************************************************************/
int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
{ {
Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); // Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
int nCutMax = 1; int nCutMax = 1;
int nLeafMax = 4; int nLeafMax = 4;
int nDivMax = 2; int nDivMax = 2;