SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits | EKB DL