A new MATLAB and Simulink workflow enables the design, compression, and deployment of AI-based virtual sensors to embedded processors. The environment supports formal verification of neural network behavior and generates library-free C code. This integration streamlines the transition from simulation to hardware. It offers a practical path for engineers to reduce memory footprints.