Methods For Reverse Engineering Of Rtl Controllers From Look-Up Table Netlists