diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-24 20:15:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-24 20:15:15 -0700 |
| commit | 9e164ec52d58655354df6176a51e455270df427f (patch) | |
| tree | dc0c94c2051d5a7b20532c3e0459e3a8a17efea8 | |
| parent | 7693ce6a6ce542d7ef317ea4319f4622693ab016 (diff) | |
| download | abc-9e164ec52d58655354df6176a51e455270df427f.tar.gz abc-9e164ec52d58655354df6176a51e455270df427f.tar.bz2 abc-9e164ec52d58655354df6176a51e455270df427f.zip | |
Adding a switch to complement outputs after collapsing.
| -rw-r--r-- | src/base/wln/wlnCom.c | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/base/wln/wlnCom.c b/src/base/wln/wlnCom.c index 6b754457..31e0bea3 100644 --- a/src/base/wln/wlnCom.c +++ b/src/base/wln/wlnCom.c @@ -335,9 +335,9 @@ int Abc_CommandCollapse( Abc_Frame_t * pAbc, int argc, char ** argv ) Gia_Man_t * pNew = NULL; Rtl_Lib_t * pLib = Wln_AbcGetRtl(pAbc); char * pTopModule = NULL; - int c, fVerbose = 0; + int c, fInv = 0, fVerbose = 0; Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "Tvh" ) ) != EOF ) + while ( ( c = Extra_UtilGetopt( argc, argv, "Tivh" ) ) != EOF ) { switch ( c ) { @@ -350,6 +350,9 @@ int Abc_CommandCollapse( Abc_Frame_t * pAbc, int argc, char ** argv ) pTopModule = argv[globalUtilOptind]; globalUtilOptind++; break; + case 'i': + fInv ^= 1; + break; case 'v': fVerbose ^= 1; break; @@ -365,12 +368,15 @@ int Abc_CommandCollapse( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } pNew = Rtl_LibCollapse( pLib, pTopModule, fVerbose ); + if ( fInv ) + Gia_ManInvertPos( pNew ); Abc_FrameUpdateGia( pAbc, pNew ); return 0; usage: - Abc_Print( -2, "usage: %%collapse [-T <module>] [-vh] <file_name>\n" ); + Abc_Print( -2, "usage: %%collapse [-T <module>] [-ivh] <file_name>\n" ); Abc_Print( -2, "\t collapse hierarchical design into an AIG\n" ); Abc_Print( -2, "\t-T : specify the top module of the design [default = none]\n" ); + Abc_Print( -2, "\t-i : toggle complementing miter outputs after collapsing [default = %s]\n", fInv? "yes": "no" ); Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; |