STATE RESET IDLE;
TIR 0 ;
HIR 5 TDI (1f) SMASK (1f) ;
//HDR 1 TDI (00) SMASK (01) ;
TDR 0 ;
//Loading device with 'idcode' instruction.
SIR 4 TDI (1) SMASK (f) ;
//SDR 32 TDI (00000000) SMASK (ffffffff) TDO (00000c7f) SMASK (ffffffff) ;
SDR 32 TDI (00000000) SMASK (ffffffff) TDO (000018ff) MASK (ffffffff) ;
//

// set to DMI "address"
SIR 4 TDI (8) SMASK (f) ;
// set DMI "ctrl" address (0)
SDR 8 TDI (0) SMASK (ff) ;
// set to DMI "data read"
SIR 4 TDI (9) SMASK (f) ;
// read 64 bit
SDR 64 TDI (0000000000000000) SMASK (0000000000000000) TDO (0000000000000004) MASK (ffffffffffffffff) ;

// set to DMI "address"
SIR 4 TDI (8) SMASK (f) ;
// set DMI "ctrl" address (0)
SDR 8 TDI (0) SMASK (ff) ;
// set to DMI "data write-read"
SIR 4 TDI (a) SMASK (f) ;
// write-read 64 bit
SDR 64 TDI (0000000000000002) SMASK (ffffffffffffffff) TDO (0000000000000004) MASK (ffffffffffffffff) ;

// set to DMI "address"
SIR 4 TDI (8) SMASK (f) ;
// set DMI "ctrl" address (0)
SDR 8 TDI (0) SMASK (ff) ;
// set to DMI "data read"
SIR 4 TDI (9) SMASK (f) ;
// read 64 bit
SDR 64 TDI (0000000000000000) SMASK (0000000000000000) TDO (0000000000000002) MASK (ffffffffffffffff) ;

// set to DMI "address"
SIR 4 TDI (8) SMASK (f) ;
// set DMI "MSR" address (3)
SDR 8 TDI (3) SMASK (ff) ;
// set to DMI "data read"
SIR 4 TDI (9) SMASK (f) ;
// read 64 bit
SDR 64 TDI (0000000000000000) SMASK (0000000000000000) TDO (00000000deadbeef) MASK (ffffffffffffffff) ;