Author: Calif.) IEEE International High-Level Design Validation and Test Workshop (8th 2003 San Francisco