diff options
author | Baruch Sterin <baruchs@gmail.com> | 2017-09-15 23:28:57 -0700 |
---|---|---|
committer | Baruch Sterin <baruchs@gmail.com> | 2017-09-15 23:28:57 -0700 |
commit | adce11979f0c6df2c67fdf71b946f9bbb91cd6dc (patch) | |
tree | 8b43803818d9e823722777f8504a3b4433c7d8e7 /src/misc | |
parent | 2da820455e9502c8e39f752df47bb563e449f5c4 (diff) | |
download | abc-adce11979f0c6df2c67fdf71b946f9bbb91cd6dc.tar.gz abc-adce11979f0c6df2c67fdf71b946f9bbb91cd6dc.tar.bz2 abc-adce11979f0c6df2c67fdf71b946f9bbb91cd6dc.zip |
bridge relates: (1) fix netlist reader to read the latest version written by ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/util/utilBridge.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index 885e6ccc..70ea8ec7 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -312,6 +312,7 @@ Gia_Man_t * Gia_ManFromBridgeReadBody( int Size, unsigned char * pBuffer, Vec_I Gia_Man_t * p = NULL; unsigned char * pBufferPivot, * pBufferEnd = pBuffer + Size; int i, nInputs, nFlops, nGates, nProps; + int verFairness, nFairness, nConstraints; unsigned iFan0, iFan1; nInputs = Gia_AigerReadUnsigned( &pBuffer ); @@ -370,6 +371,16 @@ Gia_Man_t * Gia_ManFromBridgeReadBody( int Size, unsigned char * pBuffer, Vec_I // complement property output!!! Gia_ManAppendCo( p, Abc_LitNot(iFan0) ); } + + verFairness = Gia_AigerReadUnsigned( &pBuffer ); + assert( verFairness == 1 ); + + nFairness = Gia_AigerReadUnsigned( &pBuffer ); + assert( nFairness == 0 ); + + nConstraints = Gia_AigerReadUnsigned( &pBuffer ); + assert( nConstraints == 0); + // make sure the end of buffer is reached assert( pBufferEnd == pBuffer ); |