- Docente: Luca Benini
- Credits: 6
- SSD: ING-INF/01
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
- Corso: Second cycle degree programme (LS) in Electronic Engineering (cod. 0233)
Learning outcomes
The main goal of the class is to provide an overview on the methods
for designing, validating and verifying complex embedded electronic
system. The importance of software components in virtually all
electronic systems will be emphasized. Thus, special focus
will be given to hardware-software codesign methods and tools.
The most common HW-SW codesign approaches used in industry
(telecom, automotive, industrial automaion) will be surveyed
in details.
Course contents
hardware-software system architecture
- Systems-on-chip
- SoC with general-purpose processor
- SoC with application-specific processor
- Reconfigurable SoCs
- Multiprocessor SoCs (MPSoCs)
- Networks on chip (NoCs)
- Systems on Board
- Microcontroller systems
- Smart sensors
- Reconfigurable systems
- Distributed embedded systems
- Wired communication protocols
- Wireless sensor networks
- Wearable and portable systems
- Software components for embedded systems
- Real-time Operating systems
- Device drivers & Firmware
- APIs e hardware abstraction layers
Hardware-software codesign
- Modeling HW/SW systems:
- Platform-based design
- Component-based design
- Communication-based design
- Functional abstractions for HW/SW:
- Data-flow (es. Synchronous dataflow)
- Control-oriented (es. Generalized state machines)
- Event-driven (es. Simulink)
- Model selection strategy, hybrid models
- Hardware-software description languages
- Survey of languages for system design (focus on SystemC)
- Case studies
- Synthesis and computer-aided design
- Key issues in HW/SW syntthesis
- Hardware & software (scheduling, allocation, partitioning)
- Alternative design flows.
Verification and validation
- Simulation/Emulation/Prototyping
- Cosimulation. Cosimulation algorithms
- Commercial cosimulator examples
- Emulation. Basic concepts and examples
- Prototyping: ICE and prototyping boards
- Concurrent HW-SW verification
Readings/Bibliography
Embedded System Design : A Unified Hardware/Software
Introduction, Frank Vahid, Tony D. Givargis, John
Wiley & Sons October, 2001
Computers as Components: Principles of Embedded Computer
Systems Design, Wayne Wolf, Morgan Kaufmann 25
October, 2000 Hardcover
Readings in Hardware/Software Co-design,
Giovanni De Micheli, Rolf Ernst, Wayne Wolf, Morgan
Kaufmann 01 June, 2001
System Design with SystemC, Thorsten Grotker,
Stan Liao, Grant Martin, Stuart Swan, Kluwer Academic
Publishers May, 2002 Hardcover
Teaching methods
Frontal lectures
In-class exerchises and demo
Design Project
Assessment methods
- Oral examination
- Project
Links to further information
http://www-micrel.deis.unibo.it
Office hours
See the website of Luca Benini