Design for testability of a 32-bit microprocessor-the TX1 | IEEE Conference Publication | IEEE Xplore