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