diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-27 10:08:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-27 10:08:54 -0700 |
| commit | f6653175b4e4955c41e1dbcf35422a24ebce4314 (patch) | |
| tree | 3738e744df6633825f87c65f69e1ed9d781a18bc /src/misc/extra | |
| parent | c8a022f7668fbc0d927cd466c1a674364882226f (diff) | |
| download | abc-f6653175b4e4955c41e1dbcf35422a24ebce4314.tar.gz abc-f6653175b4e4955c41e1dbcf35422a24ebce4314.tar.bz2 abc-f6653175b4e4955c41e1dbcf35422a24ebce4314.zip | |
Code to test AIG generation for DSD structures.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraUtilDsd.c | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/misc/extra/extraUtilDsd.c b/src/misc/extra/extraUtilDsd.c index ea95598b..0b048ff8 100644 --- a/src/misc/extra/extraUtilDsd.c +++ b/src/misc/extra/extraUtilDsd.c @@ -1231,6 +1231,37 @@ void Sdm_ManDivTest() Rsb_ManFree( pManRsb ); } + +/**Function************************************************************* + + Synopsis [Generation of node test.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +/* +#include "bool/kit/kit.h" +void Sdm_ManNodeGenTest() +{ + extern Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemory ); + Sdm_Man_t * p = s_SdmMan; + Vec_Int_t * vCover; + Kit_Graph_t * pGraph; + int i; + vCover = Vec_IntAlloc( 1 << 16 ); + for ( i = 2; i < DSD_CLASS_NUM; i++ ) + { + pGraph = Kit_TruthToGraph( (unsigned *)&p->pDsd6[i].uTruth, p->pDsd6[i].nVars, vCover ); + printf( "%d %s %d %d ", i, p->pDsd6[i].pStr, Kit_GraphNodeNum(pGraph), p->pDsd6[i].nAnds ); + } + printf( "\n" ); +} +*/ + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |