Keywords: وقت خریده; High-level synthesis; Designer productivity; Quality of results; Reliability; Security; Verification; Validation; Time to market; Modeling; Performance; Low power; Area cost; Polyhedral optimization; Parallel languages; Interconnect optimization; Variatio