Methodology for Behavioral Synthesis-Based Algorithm-Level Design Space Exploration: DCT Case Study