High-level synthesis applications: guided reduction wizards

Notes: