Functional modeling techniques for efficient SW code generation of video codec applications | IEEE Conference Publication | IEEE Xplore