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