SPARK : A Parallelizing Approach to the High-Level Synthesis of Digital Circuits - Gupta, Sumit (autor) (Kluwer)