Challenges for Auto Code Generation and Verifcation

In the talk, we will describe the main challenges engineers face while using design automation tools with code generators to produce ready-to-embed code. We will 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 will finally present the PolySpace product that can be used to find most of these errors.