On the Development and Optimization of HEVC Video Decoders Using High-Level Dataflow Modeling