Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.