• Provide an understanding of the concepts, issues, and process of system-level design of embedded systems, i.e., hardware-software co-design & co-verification.

• Expose the student to the modeling and specification of an embedded system at a high level of abstraction.

• Use co-simulation to validate system functionality.

• Analyze the functional and nonfunctional performance of the system early in the design process to support design decisions.

• Analyze hardware/software tradeoffs, algorithms, and architectures to optimize the system based on requirements and implementation constraints.

• Describe architectures for control-dominated and data-dominated systems and real-time systems.

• Understand hardware, software, and interface synthesis.

• Understand issues in interface design.

• Describe examples of applications and systems developed using a co-design approach.

• Appreciate issues in system-on-a-chip design associated with co-design, such as intellectual property, reuse, and verification.

http://www.gigascale.org/metropolis/  Gigascale Website

http://embedded.eecs.berkeley.edu/giotto/ Giotto Website

http://www-cad.eecs.berkeley.edu/Respep/Research/asves/  AS-V’s Website

http://bwrc.eecs.berkeley.edu/   Berkeley Wireless Research Center Website

http://www.cadence.com/products/incisive.html   Cadence Design tools based on Polis

http://www-sop.inria.fr/esterel.org/   Estrerel programming language Website

http://www.ics.uci.edu/~cecs/   UC Irvine Center for Embedded Computer Systems

http://www.ics.uci.edu/~cecs/pub_tech_reports.htm  UCI Technical reports

http://www.cs.ucr.edu/content/esd/    Embedded system design text book slides

http://www.ece.cmu.edu/~cssi/   CMU Center for Silicon System Implementation

http://www.cs.ucr.edu/~harry/classes_files/CS269_02/papers/