- Docente: Luca Benini
- Credits: 6
- SSD: ING-INF/01
- Language: English
- Teaching Mode: Traditional lectures
- Campus: Bologna
-
Corso:
Second cycle degree programme (LM) in
Electronic Engineering (cod. 0934)
Also valid for Second cycle degree programme (LM) in Computer Engineering (cod. 0937)
Second cycle degree programme (LM) in Automation Engineering (cod. 8891)
Second cycle degree programme (LM) in Telecommunications Engineering (cod. 9205)
Second cycle degree programme (LM) in Advanced Automotive Electronic Engineering (cod. 9238)
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 co-design methods and tools; the most common HW-SW co-design approaches used in industry (telecom, automotive, industrial automation) 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 synthesis, 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.
Course contents
Part 1 – System-on-chip (SoC) hardware design – fundamental concepts exemplified on reconfigurable SoCs (Xilinx Zynq)
- Hardware design
Languages (HDLs) and their use to specify and implement combinational and sequential circuits. The main concepts are exemplifiedthough the use of the SystemVerilog HDL - Hardware design flow and tools – Synthesis, simulation, verification. The main concepts are illustrated with examples using commercial electronic design automation (EDA) tools
- IP-based design – building a design from pre-designed components.
- Microcontroller architecture based on the ARM Cortex M family and RISC-V. Microcontroller peripherals. Microcontroller programming for maximum Energy efficiency
- Analog and Digital sensor interfaces, MEMS sensors – Smart sensors – Wireless sensor Networks. System power management
- Multicore architectures and their use in
energy efficient embedded Systems with examples from consumer and industrial market segments based on the ARMv8 instruction set (Cortex A family). - Programming
shared memory multicore systems using the OpenMP programming model – with practical examples based on multicore development boards (e.g. Tega's Jetson)
Readings/Bibliography
See course web site
Teaching methods
See course web site
Assessment methods
Written exam and optional oral exam (possibly as a project discussion on a project agreed with instructor)
Teaching tools
See course web site on
Office hours
See the website of Luca Benini