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