High Level Synthesis Of Asics Under Timing And Synchronization Constraints by Giovanni De Micheli, David C. Ku & Giovanni Micheli