VeriC: A semi-hardware description language to bridge the gap between ESL design and RTL models | IEEE Conference Publication | IEEE Xplore