High-level synthesis : Introduction to chip and system design - Gajski, Daniel D (Kluwer Academic Publishers, 1992)