Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)