diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-04-26 18:52:44 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-04-26 18:52:44 -0700 |
commit | de71e5f61038748b59bcbb2bf6f0c8666b45190a (patch) | |
tree | 40d41d6d824d1f1dd22da69ea14b5c05bb5ace84 /src/base/io/ioWriteVerilog.c | |
parent | 75981f7feebc4065980f99551654ac101edb4afa (diff) | |
download | abc-de71e5f61038748b59bcbb2bf6f0c8666b45190a.tar.gz abc-de71e5f61038748b59bcbb2bf6f0c8666b45190a.tar.bz2 abc-de71e5f61038748b59bcbb2bf6f0c8666b45190a.zip |
Passing node labels.
Diffstat (limited to 'src/base/io/ioWriteVerilog.c')
-rw-r--r-- | src/base/io/ioWriteVerilog.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/base/io/ioWriteVerilog.c b/src/base/io/ioWriteVerilog.c index ad49e93a..4c55b599 100644 --- a/src/base/io/ioWriteVerilog.c +++ b/src/base/io/ioWriteVerilog.c @@ -567,6 +567,14 @@ void Io_WriteVerilogObjects( FILE * pFile, Abc_Ntk_t * pNtk, int fOnlyAnds ) Hop_IthVar((Hop_Man_t *)pNtk->pManFunc, k)->pData = Extra_UtilStrsav(Io_WriteVerilogGetName(Abc_ObjName(pFanin))); // write the formula Hop_ObjPrintVerilog( pFile, pFunc, vLevels, 0, fOnlyAnds ); + if ( pObj->fPersist ) + { + Abc_Obj_t * pFan0 = Abc_ObjFanin0(Abc_ObjFanin(pObj, 0)); + Abc_Obj_t * pFan1 = Abc_ObjFanin0(Abc_ObjFanin(pObj, 1)); + int Cond = Abc_ObjIsNode(pFan0) && Abc_ObjIsNode(pFan1) && !pFan0->fPersist && !pFan1->fPersist; + fprintf( pFile, "; // MUXF7 %s\n", Cond ? "":"to be legalized" ); + } + else fprintf( pFile, ";\n" ); // clear the input names Abc_ObjForEachFanin( pObj, pFanin, k ) |