In this talk, we describe the main challenges engineers face while using design automation tools with code generators to produce ready-to-embed code. We focus on the difficulties finding runtime errors in the generated code. These errors may be caused by scaling choices, dictionary inconsistencies or simply design issues in the model. We finally present the PolySpace product that can be used to find most of these errors.
