LECTURES
| EE249 Fall 04 Lectures | |||
| Date | Content | Material | Slides |
Introduction | |||
| 08/31/2004 | Course introduction | The Tides of EDA | l1-Introduction.pdf |
| 09/02/2004 | Course introduction | l1-Introduction.pdf | |
| 09/07/2004 | Platform-Based Design | Defining Platform-based Design, Introductory paper from Alberto System Design - Traditional Concepts and New Paradigms One of the first pubs on PBD (very well written) |
l2-PlatformBasedDesign.pdf |
Functional description: formal models | |||
| 09/08/2004 | Models of Computation: Overview + FSMs | l3-IntroductionToMoC.pdf l4-FSM-CFSM.pdf |
|
| 09/14/2004 | MoCs: FSMs, CFSMs | l4-FSM-CFSM.pdf | |
| 09/21/2004 | MoCs: KPN and Dataflow | Dataflow Process Networks (this paper could required some advanced material like the tagged signal model) Synchronous data flow (easy to read and makes the idea) |
l5-KPN-DF.pdf |
| 09/23/2004 | The Tagged Tignal Model | The original paper The Tagged Signal Model |
l6-TaggedSignalModel.pdf |
| 10/05/2004 | MoCs: Petri Nets | l7-PetriNets.pdf | |
| 10/07/2004 | MoCs: Synchronous Languages and Desynchronization | From Synchrony to Asynchrony Heterogeneous reactive systems modeling and correct-by-construction deployment |
l8-SynchAsynch.pdf |
| 10/12/2004 | Heterogeneous Composition: Hybrid Systems and Languages | l9-HybridSystems2004-1.pdf | |
Architecture description |
|||
| 10/14/2004 | SystemC | l10-SystemC.pdf | |
| 10/18/2004 | Architecture Modeling in Metropolis | l11-ArchitectureinMetro.pdf | |
| 10/21/2004 | Microprocessors Modeling | l12-MicroprocessorsModeling.pdf | 10/28/2004 | Simulation in Metropolis | l13-SimulationinMetropolis.pdf | 11/14/2004 | Software Estimation and Synthesis | l14-SoftwareEstimationSynthesis.pdf | 11/19/2004 | Ptolemy II | 11/21/2004 | Software Estimation and Synthesis | l14-SoftwareEstimationSynthesis.pdf | 11/22/2004 | Quasi Static Scheduling | qss.pdf |