Joachim Schlosser: Development and Verification of fast C/C++ Simulation Models for the Star12 Microcontroller
This chapter will discuss all theory that is necessary to understand the simulation technology used in the practical experience part. It will start with a discussion on abstraction levels, presenting different schemes for the categorization of models. The subsequent part shows a standard for interfaces within simulation, followed by a summary of verification techniques. The last section in the theory and background chapter introduces a concrete implementation for a simulator backplane.