Books by IEEE International High-Level Design Validation and Test Workshop (7th 2002 Cannes, France) on BookTides.