diff options
Diffstat (limited to 'src/map/scl/sclLibScl.c')
| -rw-r--r-- | src/map/scl/sclLibScl.c | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/src/map/scl/sclLibScl.c b/src/map/scl/sclLibScl.c index 8f726d1e..dbf50627 100644 --- a/src/map/scl/sclLibScl.c +++ b/src/map/scl/sclLibScl.c @@ -404,20 +404,15 @@ static void Abc_SclWriteLibrary( Vec_Str_t * vOut, SC_Lib * p ) Vec_StrPutS( vOut, pPin->pName ); Vec_StrPutF( vOut, pPin->max_out_cap ); Vec_StrPutF( vOut, pPin->max_out_slew ); + Vec_StrPutI( vOut, pCell->n_inputs ); // write function - if ( pPin->func_text == NULL ) - { - // formula is not given - write empty string - Vec_StrPutS( vOut, "" ); - // write truth table - assert( Vec_WrdSize(pPin->vFunc) == Abc_Truth6WordNum(pCell->n_inputs) ); - Vec_StrPutI( vOut, pCell->n_inputs ); - Vec_WrdForEachEntry( pPin->vFunc, uWord, k ) // -- 'size = 1u << (n_vars - 6)' - Vec_StrPutW( vOut, uWord ); // -- 64-bit number, written uncompressed (low-byte first) - } - else // formula is given - Vec_StrPutS( vOut, pPin->func_text ); + Vec_StrPutS( vOut, pPin->func_text ? pPin->func_text : "" ); + + // write truth table + assert( Vec_WrdSize(pPin->vFunc) == Abc_Truth6WordNum(pCell->n_inputs) ); + Vec_WrdForEachEntry( pPin->vFunc, uWord, k ) // -- 'size = 1u << (n_vars - 6)' + Vec_StrPutW( vOut, uWord ); // -- 64-bit number, written uncompressed (low-byte first) // Write 'rtiming': (pin-to-pin timing tables for this particular output) assert( Vec_PtrSize(pPin->vRTimings) == pCell->n_inputs ); |