A Methodology for Abstracting RTL Designs into TL Descriptions