A strictly model-driven approach is pursued for application design, implementation and validation.
The model-driven approach allows us to finalize the application design and verification step before the coding phase is addressed. Compliance to the requirements and iterative design refinement can be achieved at this stage. A complete set of testbenches is realized in accordance to the test cases identified by our customers.
Automated code generation and HW/SW integration follows. The correctness of the coding and integration process can be fully verified via the same testbenches used during the model development. In fact, an HW-in-the-loop setup allows us to run the testbenches on the integrated system and backward compare the resulting behaviour against the simulated results.