Electrical Engineering 249
Title | Embedded System Design: Models, Validation, and Synthesis |
---|---|
Units | 4 |
Prerequisites | Background in SoC design, operating systems and compilers, or consent of instructor. |
Description | Principles of embedded system design. Focus on design methodologies and foundations. Platform-based design and communication-based design and their relationship with design time, re-use, and performance. Models of computation and their use in design capture, manipulation, verification, and synthesis. Mapping into architecture and system platforms. Performance estimation. Scheduling and real-time requirements. Synchronous languages and time-triggered protocols to simplify the design process. Simulation techniques for highly programmable platforms. Synthesis and successive refinement: meta-model of computation. Use of design tools and analysis of their capabilities and limitations: Ptolemy, POLIS, Metropolis, VCC, Co-ware. |
Sections | Instructor | Teaching Effectiveness | How worthwhile was this course? |
---|---|---|---|
Fall 2012 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2010 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2009 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2008 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2008 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2007 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2006 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2004 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2003 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2002 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2001 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 2000 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 1999 | Alberto L. Sangiovanni-Vincentelli | ||
Fall 1998 | Alberto L. Sangiovanni-Vincentelli | ||
Overall Rating | Teaching Effectiveness | How worthwhile was this course? | |