diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-30 20:51:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-30 20:51:37 -0700 |
| commit | 9e787c71919d63ef1a80a12eeb5abd954c7e86d8 (patch) | |
| tree | 71d6decc9dff90a2d4e8890d7beeb51a80623340 /src/aig/miniaig | |
| parent | a8faa2b55ced8321944ad9ed3c9e5204a4ab4d9c (diff) | |
| download | abc-9e787c71919d63ef1a80a12eeb5abd954c7e86d8.tar.gz abc-9e787c71919d63ef1a80a12eeb5abd954c7e86d8.tar.bz2 abc-9e787c71919d63ef1a80a12eeb5abd954c7e86d8.zip | |
Experiments with word-level retiming.
Diffstat (limited to 'src/aig/miniaig')
| -rw-r--r-- | src/aig/miniaig/abcOper.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/aig/miniaig/abcOper.h b/src/aig/miniaig/abcOper.h index 5719d883..6ee043af 100644 --- a/src/aig/miniaig/abcOper.h +++ b/src/aig/miniaig/abcOper.h @@ -60,7 +60,7 @@ typedef enum { ABC_OPER_BIT_NXOR, // 18 ABC_OPER_BIT_SHARP, // 19 ABC_OPER_BIT_SHARPL, // 20 - ABC_OPER_BIT_MUX, // 21 + ABC_OPER_BIT_MUX, // 21 fanins are: {Ctrl, Data1, Data0} ABC_OPER_BIT_MAJ, // 22 ABC_OPER_ABC, // 23 @@ -86,7 +86,7 @@ typedef enum { ABC_OPER_LOGIC_XOR, // 41 ABC_OPER_LOGIC_XNOR, // 42 - ABC_OPER_SEL_NMUX, // 43 + 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 @@ -217,11 +217,14 @@ static inline char * Abc_OperName( int Type ) 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 ); |