RTL and high level testing. Digest of papers : WRTLT'03, Xi'an, China, Nov. 20 - 21, 2003 - Mohamed, Abdil Rashid (Institute of Electrical and Electronics Engineers, 2003)