WRTLT 2002, 3rd Workshop on RTL ATPG & DFT