Title: High-Level Design, Validation and Test Workshop (Hldvt 2001)
Subjects: Computer software, Verification, Congresses, Electronic circuits, Testing, Electronic digital computers, Evaluation