Masud-Ul-Hasan, (1993) Back-End Design of a Formal High Level Synthesis System. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.