Fachhochschule Augsburg
Fachbereich Informatik

Diploma Thesis

Development and Verification of fast C/C++ Models for the Star12 Micro Controller

Joachim Schlosser

pict

Examiner:	Prof. Dr.-Ing. Christian Märtin
Co-examiner:	Prof. Dr. rer. nat. Michael Lutz
Company:	Motorola GmbH
Handed in:	Summer Term 2001

Diploma Thesis
Joachim Schlosser

Development and Verification of fast C/C++ Models for the Star12 Micro Controller

Created: March–August, 2001

Author’s Address:
Joachim Schlosser
Nördlinger Str. 107
86343 Königsbrunn
http://schlosser.info

1  Introduction
1.1  Objective of the Thesis
  1.1.1  From Integration Boards to System-on-Chip
  1.1.2  Simulation
  1.1.3  My Job
1.2  The Virtual Socket Interface Alliance
  1.2.1  Intent
  1.2.2  Organization
2  Theory and Background
2.1  Model Abstraction Levels
  2.1.1  A basic abstraction model
  2.1.2  Gajski-Kuhn chart
  2.1.3  The VSIA approach
2.2  Model Interfaces
  2.2.1  Basic OMI Concepts
  2.2.2  OMI Information Model
  2.2.3  Execution Stages
2.3  Model Verification
  2.3.1  Intent Verification
  2.3.2  Equivalence Verification
  2.3.3  Verification Test Suite Migration
  2.3.4  VC Verification versus Integration Verification
  2.3.5  Summary: Functional Verification Mapping
2.4  Octopus
  2.4.1  Event Based Simulation with Octopus
  2.4.2  Execution Logic
  2.4.3  Octopus classification
  2.4.4  Octopus through OMI Eyes
2.5  Summary of the Theory Part
3  Modeling and Implementation
3.1  Modules Modeling
  3.1.1  Environment
  3.1.2  Analog-to-Digital Converter
  3.1.3  Pulse Width Modulator
3.2  Simulink Interface for Octopus
  3.2.1  Simulink S-Functions
  3.2.2  Implementation
3.3  Summary of the Practical Experience Part
4  Conclusion
  About Motorola
  Bibliography
  CD-ROM Contents
  Tools and Applications used
  Glossary of Abbreviations