This document presents a co-simulation environment integrating SystemC and MATLAB/Simulink for the JPEG algorithm, addressing the complexity of embedded systems verification by allowing simultaneous simulation of hardware and software components. It details a new verification framework, methods for automatic interface generation, and highlights a case study on JPEG image compression, focusing on the DCT algorithm. The proposed methodology enhances design productivity through improved simulation speed and synchronization between the two environments.