ExtractCFG : a framework to enable accurate timing back annotation of C language source code

Access full-text files

Date

2011-08

Authors

Goswami, Arindam

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

The current trend in embedded systems design is to move the initial design and exploration phase to a higher level of abstraction, in order to tackle the rapidly increasing complexity of embedded systems. One approach of abstracting software development from the low level platform details is host- compiled simulation. Characteristics of the target platform are represented in a host-compiled simulation model by annotating the high level source code. Compiler optimizations make accurate annotation of the code a challenging task. In this thesis, we describe an approach to enable correct back-annotation of C code at the basic block level, while taking compiler optimizations into account.

Description

text

LCSH Subject Headings

Citation