Meant to say HDL. I shouldn't HN before I drink my coffee. But to answer your question, RTL is Register Transfer Language, so the EDIF or equivalent.