A new MATLAB workflow enables the design, compression, and deployment of AI-based virtual sensors to embedded processors. The system uses Simulink for system-level simulation and formal verification of neural network behavior. It generates library-free C code to reduce memory footprints. This provides a streamlined pipeline for engineers targeting constrained hardware environments.