diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-16 18:31:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-16 18:31:15 -0700 |
| commit | 34bcabcbf4cb2cf542ed0d2248ee6422b63cdf1d (patch) | |
| tree | a625e0e91ede6636081e494a065115051ac0337a /src/aig | |
| parent | 876c2c353a15cbe2ce2701adf656c4c0f6c3146a (diff) | |
| download | abc-34bcabcbf4cb2cf542ed0d2248ee6422b63cdf1d.tar.gz abc-34bcabcbf4cb2cf542ed0d2248ee6422b63cdf1d.tar.bz2 abc-34bcabcbf4cb2cf542ed0d2248ee6422b63cdf1d.zip | |
Small changes.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/miniaig/ndr.h | 26 |
1 files changed, 24 insertions, 2 deletions
diff --git a/src/aig/miniaig/ndr.h b/src/aig/miniaig/ndr.h index d7f425e8..72e05ec4 100644 --- a/src/aig/miniaig/ndr.h +++ b/src/aig/miniaig/ndr.h @@ -113,7 +113,8 @@ typedef enum { NDR_NAME, // 7: name NDR_RANGE, // 8: bit range NDR_FUNCTION, // 9: specified for some operators (PLAs, etc) - NDR_UNKNOWN // 10: unknown + NDR_TARGET, // 10: target + NDR_UNKNOWN // 11: unknown } Ndr_RecordType_t; // operator types @@ -337,7 +338,6 @@ static inline void Ndr_DataPushString( Ndr_Data_t * p, int Type, char * pFunc ) Ndr_DataPushArray( p, Type, (strlen(pFunc) + 4) / 4, (int *)pFunc ); } - //////////////////////////////////////////////////////////////////////// /// VERILOG WRITING /// //////////////////////////////////////////////////////////////////////// @@ -409,6 +409,28 @@ static inline char * Ndr_ObjReadInName( Ndr_Data_t * p, int Obj, char ** pNames return pNames[Ndr_ObjReadBody(p, Obj, NDR_INPUT)]; } +static inline int Ndr_DataCiNum( Ndr_Data_t * p, int Mod ) +{ + int Obj, Count = 0; + Ndr_ModForEachPi( p, Mod, Obj ) + Count++; + return Count; +} +static inline int Ndr_DataCoNum( Ndr_Data_t * p, int Mod ) +{ + int Obj, Count = 0; + Ndr_ModForEachPo( p, Mod, Obj ) + Count++; + return Count; +} +static inline int Ndr_DataObjNum( Ndr_Data_t * p, int Mod ) +{ + int Obj, Count = 0; + Ndr_ModForEachObj( p, Mod, Obj ) + Count++; + return Count; +} + // to write signal names, this procedure takes a mapping of name IDs into actual char-strings (pNames) static inline void Ndr_ModuleWriteVerilog( char * pFileName, void * pModule, char ** pNames ) { |