WRTLT 2003, 4th Workshop on RTL & High-Level Testing