High-level synthesis introduction to chip and system design - Gajski, Daniel D. (Boston, 1992)