ASIC SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits mg -2:47 PM BBC 1