Books by IEEE International High-Level Design Validation and Test Workshop (6th 2001 Monterey, Calif.)