SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits - Gupta, Sumit; Gupta, Rajesh K.; Dutt, Nikil D.; Nicolau, Alexandru (Springer US, 2004)