Preview

Description

We present code generation from the Giotto model of computation in Ptolemy II to the Precision Timed (PRET) Architecture. Giotto is a time-triggered programming model that provides the user with methods to specify timing at a high level, and PRET is a processor architecture that emphasizes predictable timing. The goal of code generation is to automatically generate code that correctly implements the semantics of the model as the designer has specified. We use the ISA-level timing controls of PRET in the C code we generate to fulfill the timing constraints of the Giotto model. We run the generated code on the cycle accurate PRET simulator to verify that our designs meet their deadlines.

Author Comments: This was a class project for the Spring 2009 section of EECS 290N-02 ("Concurrent Models of Computation") with Edward A. Lee.

Details

Files

Actions

Statistics

from
to
Export
Download Full History