Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.