2017 IEEE International High Level Design Validation and Test Workshop (HLDVT) (IEEE)