Books by Calif.) IEEE International High-Level Design Validation and Test Workshop (8th 2003 San Francisco on BookTides.