lec4_high_level_synthesis.pdf