| Name |
Project Title |
Slides |
Report |
| Models/Theory/Languages |
| Brian Vogel |
Heterochronous dataflow domain in Ptolemy II |
slides.pdf |
report.pdf |
| Freddy Mang |
Verification of TCI with Mocha |
slides.pdf |
report.pdf |
| Andrew Mihal |
An Analysis and Classification of System-Level Description Languages |
slides.pdf |
report.pdf |
| Fabian Wenzel and David Ruiz |
Extending the CFSM model used in the "Polis" design environment to allow multirate operations |
slides.pdf |
report.pdf |
| Stefano Zanella |
A Methodology to Characterize Substrate Noise Currents Injected by Digital IP Cores |
slides.pdf |
report.pdf |
| Communication |
| Mike Sheets |
Modeling and simulation of the FastForward suite from Sonics |
slides.pdf |
report.doc |
| William Jiang and Yujia Jin |
Protocol Converter Synthesis: a Formal Approach |
|
report.doc |
| Software/Optimization/RTOS |
| Per Bjureus |
High Level Software Cost Estimation |
slides.pdf |
report.pdf |
| Abdallah Tabbara |
Task Response Time Optimization Using Cost-Based Operation Motion |
slides.pdf |
report.doc |
| Minxi Gao and Xiaoling Xu |
Interfacing Polis to Mentor's VRTxoc RTOS |
|
report.doc |
| Algorithms/Tools |
| Arvind Thirunarayanan |
Data Types in Polis |
slides.pdf |
report.pdf |
| Rong Chen |
Navigator for design flows |
slides.pdf |
report.doc |
| Case study |
| Jason Shamberger |
Decomposing the dashboard example for a distributed implementation |
slides.pdf |
report.pdf |
| Alessandra Nardi and Fan Mo |
Multi-injection driver specification for engine management |
slides.pdf |
report.pdf |
| Trevor Meyerowitz |
An Exploration of the MPEG algorithm using latency insensitive
protocols |
slides.pdf |
report.doc |
