But then what? He needed a JTAG programmer to work with the chip. Like any good autodidact he choose to make his own rather than buying one. He absorbed the JTAG specification and coded a bit ...

The description for not using formal method as the primary method is beyond the scope of this paper. The JTAG controller IP implements the TAP FSM as defined in IEEE 1149.1-2001 spec along with along ...