Joachim Schlosser: Development and Verification of fast C/C++ Simulation Models for the Star12 Microcontroller
With the introduction to Octopus as finish, all major aspects in theory for the diploma thesis have been discussed now: Several ways of structuring different abstraction levels were shown to allow a rating of models; a standardized concept for simulating hardware uncovered some important terms in simulation technique; possibilities and methodologies for verifying models brought in the quality aspect; and the base, that the practical part is founded on, was briefly analyzed.