Date Conference 2013, Grenoble
STM CASE will participate at Date Conference 2013, the European Event for Electronic System Design and [...]
The verification suite is fully integrated with radCASE development tools. The design model is automatically imported and a guided graphical editor is provided for describing the design requirements with assertions.
Automatic generation of high-quality test cases is provided.
The generated testcase are used for dynamic assertion-based verification of the model implementation via checker
Properties are automatically translated into checkers to be executed and monitor the design correctness.
A step-by-step simulation provides highlighed errors identification trouth the integrated radCASE visualizator.