Text this: Back-end design of a formal high level synthesis system