SPARK: : A Parallelizing Approach to the High-Level Synthesis of Digital Circuits (2004. 262 p.)

Rapid advances in microelectronic integration and the advent of Systems-on-Chip have fueled the need for high-level synthesis, i.e., an automated approach to the synthesis of hardware from behavioral descriptions.