High level synthesis of ASICs under timing and synchronization constraints - Ku, David C. 1964-; De Micheli, Giovanni (Kluwer Academic Publishers, 1992)