Center for Embedded Computer Systems University of California, Irvine and San Diego spark SPARK: A Parallelizing High-Level Synthesis.