2003 IEEE Intl. Workshop on Register Transfer Level Test Generation and Design for Testability RTL, ATPG & DFT (WRTLT)