A methodology for abstracting RTL designs into TL descriptions | IEEE Conference Publication | IEEE Xplore