High-Level VLSI Synthesis (The Springer International Series in Engineering and Computer Science, 136) | EKB DL