WRTLT 2004, 5th Workshop on RTL & High-Level Testing