Outline

• Embedded Computing Systems

• Problem Areas and Co-Design Deliverables

  • Specification, Modeling and Analysis
  • Presynthesis Optimizations
  • Architectural Validation
  • Partitioning and Synthesis Subtasks

• Constraint Specification and Analysis

• Language-level Modeling and Validation

• Summary

• Pointers and Resources

Previous slide

Next slide

Back to first slide

View graphic version