ESL design with RTL-verified predesigned abstract communication channels | IEEE Conference Publication | IEEE Xplore