2015 International Conference on Electronic Design, Computer Networks & Automated Verification (EDCAV)