Back-End Design of a Formal High Level Synthesis System - Masud-Ul-Hasan (1993)