The research aims to develop a virtual platform for firmware design and for the definition of an automatic static/dynamic verification methodology that uses the IAR System tools in order to achieve the following objectives:
1. Formal definition of a test plan for the functional verification of firmware starting from the HW / SW specifications of the system;
2. Translation of the test plan into assertions and test cases;
3. Dynamic verification of the firmware through (semi-) automatic generation of stimuli and application of static verification techniques;
4. Measurement of the quality of the verification through metrics based on statements, branches, conditions and assertion coverage.
