 |
||||
 |
Home> Course Search> |
|||
|
Search Results |
|||
|
||||
| Embedded System Design: Models, Validation, and Synthesis -- Electrical Engineering (EL ENG) 249 [4 units] | ||||
| Course Format: Four hours of lecture and two hours of laboratory/discussion per week. | ||||
| 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. | ||||
| (F) Sangiovanni-Vincentelli |
||||
| |
||||
| Embedded System Design: Modeling, Analysis, and Synthesis -- Electrical Engineering (EL ENG) C249 [4 units] | ||||
| Course Format: Three hours of lecture, one hour of discussion, and two hours of laboratory per week. | ||||
| Prerequisites: Background in system design, mathematical modeling, and software, or consent of instructor. | ||||
| Credit option: Students will receive no credit for Electrical Engineering C249/Civil and Environmental Engineering C289 after taking Electrical Engineering 249. | ||||
| 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 systems platforms. Performance estimation. Scheduling and real-time requirements. Synchronous languages and time-triggered protocols to simplify the design process. Also listed as Civil and Environmental Engineering C289. | ||||
| (F,SP) Sangiovanni-Vincentelli |
||||
| |
||||
| Introduction to Embedded Systems -- Electrical Engineering (EL ENG) C249M [4 units] | ||||
| Course Format: Three hours of lecture and three hours of laboratory per week. | ||||
| Prerequisites: Electrical Engineering 20N, Computer Science 61C, 61CL, 70, or Mathematics 55. Consent of instructor. | ||||
| Credit option: Students will receive no credit for Electrical Engineering C249M/Computer Science 249M after taking Electrical Engineering C149/Computer Science C149. | ||||
| Description: This course introduces students to the basics of models, analysis tools, and control for embedded systems operating in real time. Students learn how to combine physical processes with computation. Topics include models of computation, control, analysis and verification, interfacing with the physical world, mapping to platforms, and distributed embedded systems. The course has a strong laboratory component, with emphasis on a semester-long sequence of projects. Also listed as Computer Science C249M. | ||||
| (F,SP) Lee, Seshia |
||||
| |
||||
 |
||||
 |
||||
Copyright 2007 UC Regents. All rights reserved. Contact us. * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * |
||||
