High Level Synthesis of ASICs under Timing and Synchronization Constraints - Ku, David C.; Micheli, Giovanni De (Springer US, 1992)