High-level synthesis : blue book. - Fingeroff, Michael (Mentor Graphics Corporation, 2010)