Challenges and opportunities of ESL design automation | IEEE Conference Publication | IEEE Xplore