Correct and energy-efficient design of SoCs: The H.264 encoder case study | IEEE Conference Publication | IEEE Xplore