/**CFile**************************************************************** FileName [acbTypes.h] SystemName [ABC: Logic synthesis and verification system.] PackageName [Hierarchical word-level netlist.] Synopsis [External declarations.] Author [Alan Mishchenko] Affiliation [UC Berkeley] Date [Ver. 1.0. Started - July 21, 2015.] Revision [$Id: acbTypes.h,v 1.00 2014/11/29 00:00:00 alanmi Exp $] ***********************************************************************/ #ifndef ABC__base__acb__acb__types_h #define ABC__base__acb__acb__types_h //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// ABC_NAMESPACE_HEADER_START //////////////////////////////////////////////////////////////////////// /// BASIC TYPES /// //////////////////////////////////////////////////////////////////////// // network objects typedef enum { ABC_OPER_NONE = 0, // 00 unused ABC_OPER_PI, // 01 input ABC_OPER_PO, // 02 output ABC_OPER_CI, // 03 combinational input ABC_OPER_CO, // 04 combinational output ABC_OPER_FON, // 05 output placeholder ABC_OPER_BOX, // 06 box ABC_OPER_CONST_F, // 07 ABC_OPER_CONST_T, // 08 ABC_OPER_CONST_X, // 09 ABC_OPER_CONST_Z, // 10 ABC_OPER_BIT_BUF, // 11 ABC_OPER_BIT_INV, // 12 ABC_OPER_BIT_AND, // 13 ABC_OPER_BIT_NAND, // 14 ABC_OPER_BIT_OR, // 15 ABC_OPER_BIT_NOR, // 16 ABC_OPER_BIT_XOR, // 17 ABC_OPER_BIT_NXOR, // 18 ABC_OPER_BIT_SHARP, // 19 ABC_OPER_BIT_SHARPL, // 20 ABC_OPER_BIT_MUX, // 21 fanins are: {Ctrl, Data1, Data0} ABC_OPER_BIT_MAJ, // 22 ABC_OPER_ABC, // 23 ABC_OPER_BA, // 24 ABC_OPER_BO, // 25 ABC_OPER_BX, // 26 ABC_OPER_BN, // 27 ABC_OPER_BAO, // 28 ABC_OPER_BOA, // 29 ABC_OPER_RED_AND, // 30 ABC_OPER_RED_NAND, // 31 ABC_OPER_RED_OR, // 32 ABC_OPER_RED_NOR, // 33 ABC_OPER_RED_XOR, // 34 ABC_OPER_RED_NXOR, // 35 ABC_OPER_LOGIC_NOT, // 36 ABC_OPER_LOGIC_AND, // 37 ABC_OPER_LOGIC_NAND, // 38 ABC_OPER_LOGIC_OR, // 39 ABC_OPER_LOGIC_NOR, // 40 ABC_OPER_LOGIC_XOR, // 41 ABC_OPER_LOGIC_XNOR, // 42 ABC_OPER_SEL_NMUX, // 43 fanins are: {Ctrl, Data0, Data1, Data2, ...} ABC_OPER_SEL_SEL, // 44 ABC_OPER_SEL_PSEL, // 45 ABC_OPER_SEL_ENC, // 46 ABC_OPER_SEL_PENC, // 47 ABC_OPER_SEL_DEC, // 48 ABC_OPER_SEL_EDEC, // 49 ABC_OPER_ARI_ADD, // 50 ABC_OPER_ARI_SUB, // 51 ABC_OPER_ARI_MUL, // 52 ABC_OPER_ARI_SMUL, // 53 ABC_OPER_ARI_DIV, // 54 ABC_OPER_ARI_MOD, // 55 ABC_OPER_ARI_REM, // 56 ABC_OPER_ARI_POW, // 57 ABC_OPER_ARI_MIN, // 58 ABC_OPER_ARI_SQRT, // 59 ABC_OPER_ARI_ABS, // 60 ABC_OPER_COMP_SLESS, // 61 ABC_OPER_COMP_LESS, // 62 ABC_OPER_COMP_LESSEQU, // 63 ABC_OPER_COMP_MOREEQU, // 64 ABC_OPER_COMP_MORE, // 65 ABC_OPER_COMP_EQU, // 66 ABC_OPER_COMP_NOTEQU, // 67 ABC_OPER_SHIFT_L, // 68 ABC_OPER_SHIFT_R, // 69 ABC_OPER_SHIFT_LA, // 70 ABC_OPER_SHIFT_RA, // 71 ABC_OPER_SHIFT_ROTL, // 72 ABC_OPER_SHIFT_ROTR, // 73 ABC_OPER_NODE, // 74 ABC_OPER_LUT, // 75 ABC_OPER_GATE, // 76 ABC_OPER_TABLE, // 77 ABC_OPER_TRI, // 78 ABC_OPER_RAM, // 79 ABC_OPER_RAMR, // 80 ABC_OPER_RAMW, // 81 ABC_OPER_RAMWC, // 82 ABC_OPER_RAML, // 83 ABC_OPER_RAMS, // 84 ABC_OPER_RAMBOX, // 85 ABC_OPER_LATCH, // 86 ABC_OPER_LATCHRS, // 87 ABC_OPER_DFF, // 88 ABC_OPER_DFFRSE, // 89 ABC_OPER_DFFLAST, // 90 ABC_OPER_SLICE, // 91 ABC_OPER_CONCAT, // 92 ABC_OPER_ZEROPAD, // 93 ABC_OPER_SIGNEXT, // 94 ABC_OPER_LOGIC_IMPL, // 95 ABC_OPER_ARI_SQUARE, // 96 ABC_OPER_CONST, // 97 ABC_OPER_ARI_ADDSUB, // 98 ABC_OPER_LAST // 99 } Acb_ObjType_t; // printing operator types static inline const char * Abc_OperName( int Type ) { if ( Type == ABC_OPER_NONE ) return NULL; if ( Type == ABC_OPER_PI ) return "pi"; if ( Type == ABC_OPER_PO ) return "po"; if ( Type == ABC_OPER_CI ) return "ci"; if ( Type == ABC_OPER_CO ) return "co"; if ( Type == ABC_OPER_FON ) return "fon"; if ( Type == ABC_OPER_BOX ) return "box"; if ( Type == ABC_OPER_BIT_BUF ) return "buf"; if ( Type == ABC_OPER_BIT_INV ) return "~"; if ( Type == ABC_OPER_BIT_MUX ) return "mux"; if ( Type == ABC_OPER_BIT_MAJ ) return "maj"; if ( Type == ABC_OPER_BIT_AND ) return "&"; if ( Type == ABC_OPER_BIT_OR ) return "|"; if ( Type == ABC_OPER_BIT_XOR ) return "^"; if ( Type == ABC_OPER_BIT_NAND ) return "~&"; if ( Type == ABC_OPER_BIT_NOR ) return "~|"; if ( Type == ABC_OPER_BIT_NXOR ) return "~^"; if ( Type == ABC_OPER_RED_AND ) return "&"; if ( Type == ABC_OPER_RED_OR ) return "|"; if ( Type == ABC_OPER_RED_XOR ) return "^"; if ( Type == ABC_OPER_RED_NAND ) return "~&"; if ( Type == ABC_OPER_RED_NOR ) return "~|"; if ( Type == ABC_OPER_RED_NXOR ) return "~^"; if ( Type == ABC_OPER_LOGIC_NOT ) return "!"; if ( Type == ABC_OPER_LOGIC_IMPL ) return "=>"; if ( Type == ABC_OPER_LOGIC_AND ) return "&&"; if ( Type == ABC_OPER_LOGIC_OR ) return "||"; if ( Type == ABC_OPER_LOGIC_XOR ) return "^^"; if ( Type == ABC_OPER_ARI_ADD ) return "+"; if ( Type == ABC_OPER_ARI_SUB ) return "-"; if ( Type == ABC_OPER_ARI_MUL ) return "*"; if ( Type == ABC_OPER_ARI_SMUL ) return "*"; if ( Type == ABC_OPER_ARI_DIV ) return "/"; if ( Type == ABC_OPER_ARI_REM ) return "%"; if ( Type == ABC_OPER_ARI_MOD ) return "mod"; if ( Type == ABC_OPER_ARI_POW ) return "**"; if ( Type == ABC_OPER_ARI_MIN ) return "-"; if ( Type == ABC_OPER_ARI_SQRT ) return "sqrt"; if ( Type == ABC_OPER_ARI_SQUARE ) return "squar"; if ( Type == ABC_OPER_COMP_EQU ) return "=="; if ( Type == ABC_OPER_COMP_NOTEQU ) return "!="; if ( Type == ABC_OPER_COMP_LESS ) return "<"; if ( Type == ABC_OPER_COMP_MORE ) return ">"; if ( Type == ABC_OPER_COMP_LESSEQU ) return "<="; if ( Type == ABC_OPER_COMP_MOREEQU ) return ">="; if ( Type == ABC_OPER_SHIFT_L ) return "<<"; if ( Type == ABC_OPER_SHIFT_R ) return ">>"; if ( Type == ABC_OPER_SHIFT_LA ) return "<<<"; if ( Type == ABC_OPER_SHIFT_RA ) return ">>>"; if ( Type == ABC_OPER_SHIFT_ROTL ) return "rotL"; if ( Type == ABC_OPER_SHIFT_ROTR ) return "rotR"; if ( Type == ABC_OPER_DFFRSE ) return "DFFRSE"; if ( Type == ABC_OPER_SLICE ) return "[:]"; if ( Type == ABC_OPER_CONCAT ) return "{}"; if ( Type == ABC_OPER_ZEROPAD ) return "zPad"; if ( Type == ABC_OPER_SIGNEXT ) return "sExt"; if ( Type == ABC_OPER_CONST ) return "const"; if ( Type == ABC_OPER_TABLE ) return "table"; if ( Type == ABC_OPER_LAST ) return NULL; assert( 0 ); return NULL; } //////////////////////////////////////////////////////////////////////// /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// /// ITERATORS /// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// ABC_NAMESPACE_HEADER_END #endif //////////////////////////////////////////////////////////////////////// /// END OF FILE /// ////////////////////////////////////////////////////////////////////////