High Level Synthesis of ASICs under Timing and Synchronization Constraints Ku David C. Heftet / 2010 / Engelsk