diff options
| author | Niklas Een <niklas@een.se> | 2013-10-04 15:20:42 -0700 |
|---|---|---|
| committer | Niklas Een <niklas@een.se> | 2013-10-04 15:20:42 -0700 |
| commit | c9635d029ebc27ce8001c6859d2b992e327ceec7 (patch) | |
| tree | 5020e1411fcceb580951c5723ca101d5ea07fcaf /src/misc/util | |
| parent | f24a4e1a4e583a3c92f7f5ca06f80a5b6b6fbc0b (diff) | |
| download | abc-c9635d029ebc27ce8001c6859d2b992e327ceec7.tar.gz abc-c9635d029ebc27ce8001c6859d2b992e327ceec7.tar.bz2 abc-c9635d029ebc27ce8001c6859d2b992e327ceec7.zip | |
Added 'abort' message in bridge mode for pdr -a timeout
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilBridge.c | 38 |
1 files changed, 30 insertions, 8 deletions
diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index ebacd97b..885e6ccc 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -34,15 +34,19 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -#define BRIDGE_TEXT_MESSAGE 999996 -#define BRIDGE_RESULTS 101 -//#define BRIDGE_NETLIST 106 -//#define BRIDGE_ABS_NETLIST 107 -#define BRIDGE_BAD_ABS 105 +#define BRIDGE_TEXT_MESSAGE 999996 + +#define BRIDGE_ABORT 5 +#define BRIDGE_PROGRESS 3 +#define BRIDGE_RESULTS 101 +#define BRIDGE_BAD_ABS 105 +//#define BRIDGE_NETLIST 106 +//#define BRIDGE_ABS_NETLIST 107 + +#define BRIDGE_VALUE_X 0 +#define BRIDGE_VALUE_0 2 +#define BRIDGE_VALUE_1 3 -#define BRIDGE_VALUE_X 0 -#define BRIDGE_VALUE_0 2 -#define BRIDGE_VALUE_1 3 //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -166,6 +170,22 @@ int Gia_ManToBridgeText( FILE * pFile, int Size, unsigned char * pBuffer ) Gia_CreateHeader( pFile, BRIDGE_TEXT_MESSAGE, Size, pBuffer ); return 1; } + + +int Gia_ManToBridgeAbort( FILE * pFile, int Size, unsigned char * pBuffer ) +{ + Gia_CreateHeader( pFile, BRIDGE_ABORT, Size, pBuffer ); + return 1; +} + + +int Gia_ManToBridgeProgress( FILE * pFile, int Size, unsigned char * pBuffer ) +{ + Gia_CreateHeader( pFile, BRIDGE_PROGRESS, Size, pBuffer ); + return 1; +} + + int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ) { Vec_Str_t * vBuffer; @@ -174,6 +194,8 @@ int Gia_ManToBridgeAbsNetlist( FILE * pFile, void * p, int pkg_type ) Vec_StrFree( vBuffer ); return 1; } + + int Gia_ManToBridgeBadAbs( FILE * pFile ) { Gia_CreateHeader( pFile, BRIDGE_BAD_ABS, 0, NULL ); |