Title: IEEE International High-Level Design, Validation, and Test Workshop
Subjects: Computer software, Congresses, Verification, Electronic circuits, Testing, Electronic digital computers, Evaluation