diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-17 10:15:57 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-12-17 10:15:57 +0700 |
| commit | 85b74f68f19fc4857daba703f909a02410f04065 (patch) | |
| tree | 52308b8f8b5a49702b3fcaa1c4498f0f27678c01 /src/base/wln | |
| parent | 25b1a0d81c113bca545fd3b2f477e07e1d33e509 (diff) | |
| download | abc-85b74f68f19fc4857daba703f909a02410f04065.tar.gz abc-85b74f68f19fc4857daba703f909a02410f04065.tar.bz2 abc-85b74f68f19fc4857daba703f909a02410f04065.zip | |
Adding new command &icec.
Diffstat (limited to 'src/base/wln')
| -rw-r--r-- | src/base/wln/wlnRtl.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/wln/wlnRtl.c b/src/base/wln/wlnRtl.c index 040c74bb..aff88af9 100644 --- a/src/base/wln/wlnRtl.c +++ b/src/base/wln/wlnRtl.c @@ -120,15 +120,15 @@ Wln_Ntk_t * Wln_ReadSystemVerilog( char * pFileName, char * pTopModule, int fVer unlink( pFileTemp ); return pNtk; } -Gia_Man_t * Wln_BlastSystemVerilog( char * pFileName, char * pTopModule, int fSkipStrash, int fInvert, int fVerbose ) +Gia_Man_t * Wln_BlastSystemVerilog( char * pFileName, char * pTopModule, int fSkipStrash, int fInvert, int fTechMap, int fVerbose ) { Gia_Man_t * pGia = NULL; char Command[1000]; char * pFileTemp = "_temp_.aig"; int fSVlog = strstr(pFileName, ".sv") != NULL; - sprintf( Command, "%s -qp \"read_verilog %s%s; hierarchy %s%s; flatten; proc; aigmap; write_aiger %s\"", + sprintf( Command, "%s -qp \"read_verilog %s%s; hierarchy %s%s; flatten; proc; %saigmap; write_aiger %s\"", Wln_GetYosysName(), fSVlog ? "-sv ":"", pFileName, - pTopModule ? "-top " : "-auto-top", pTopModule ? pTopModule : "", pFileTemp ); + pTopModule ? "-top " : "-auto-top", pTopModule ? pTopModule : "", fTechMap ? "techmap; setundef -zero; " : "", pFileTemp ); if ( fVerbose ) printf( "%s\n", Command ); if ( !Wln_ConvertToRtl(Command, pFileTemp) ) |