A Survey of High-Level Synthesis Systems (The Springer International Series in Engineering and Computer Science)