diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-05 16:23:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-05 16:23:04 -0700 |
| commit | 867600b766cc37218d619bec0c3fbbc1f700d72e (patch) | |
| tree | 9c54837da0e38b7fc86ee6aefeb4d1daa339ee60 /src/base/wlc/wlcNtk.c | |
| parent | 5b588e0951b1b392b0eed69c0339a83d1e4df8f2 (diff) | |
| download | abc-867600b766cc37218d619bec0c3fbbc1f700d72e.tar.gz abc-867600b766cc37218d619bec0c3fbbc1f700d72e.tar.bz2 abc-867600b766cc37218d619bec0c3fbbc1f700d72e.zip | |
Supporting the decoder primitive in NDR and bit-blasting.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index b8a4b9b1..0d8374c7 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -87,7 +87,10 @@ static char * Wlc_Names[WLC_OBJ_NUMBER+1] = { "table", // 53: bit table "READ", // 54: mem read port "WRITE", // 55: mem write port - NULL // 56: unused + "addsub", // 56: adder/subtractor + "sel", // 57: selector + "dec", // 58: decoder + NULL // 58: unused }; char * Wlc_ObjTypeName( Wlc_Obj_t * p ) { return Wlc_Names[p->Type]; } |