Title: High-Level Design, Validation and Test Workshop (Hldvt 2001), 6th IEEE International