Spark : a parallelizing approach to the high-level synthesis of digital circuits - Gupta, Sumit (Kluwer Academic Publishers, 2004)