week	data	day	lecture	lab.	topic
1	5-Oct	Wed.	2		Course introduction; Embedded systems modeling
1	7-Oct	Fri.	3		Embedded systems modeling II; SystemC-based design
2	12-Oct	Wed.	2		SystemC-based design II; SystemC-based design III
2	14-Oct	Fri.	3		Platform-based design; Transactional-based design; TLM 2.0 standard
3	19-Oct	Wed.		2	SystemC compilation/execution/debugging
3	21-Oct	Fri.	3		TLM 2.0 standard II; SystemC/AMS support
4	26-Oct	Wed.		2	SystemC modeling at RTL
4	28-Oct	Fri.		2	SystemC modeling at TLM
5	2-Nov	Wed.		2	SystemC timing evolution
5	4-Nov	Fri.		2	SystemC/AMS
6	9-Nov	Wed.		2	Mixed RTL/TLM/AMS SystemC
6	11-Nov	Fri.	3		High-level synthesis (HLS): scheduling; High-level synthesis: allocation
7	16-Nov	Wed.		2	Platform, testbench and device driver (OSTC)
7	18-Nov	Fri.	3		Software embedded synthesis; Model-based design (MBD) of embedded software; IoT and Cloud
8	23-Nov	Wed.			Cyber-physical systems: models of computations
8	25-Nov	Fri.			intermediate exam
9	30-Nov	Wed.		2	Model-based design: Matlab/Simulink/FMI
9	2-Dec	Fri.	3		VHDL introduction; VHDL syntax
10	7-Dec	Wed.		2	Embedded software design
10	9-Dec	Fri.	3		VHDL modeling; VHDL timing simulation
11	14-Dec	Wed.		2	VHDL modeling at RTL
11	16-Dec	Fri.	2		VHDL timing simulation II; VHDL synthesis
12	21-Dec	Wed.		2	VHDL timing simulation
12	23-Dec	Fri.	3		Networked embedded systems (NES); Smart systems
13	11-Jan	Wed.		2	Automatic synthesis from TLM and RTL
13	13-Jan	Fri.			Bigdata analysis per lo sviluppo strategico delle idee
14	18-Jan	Wed.			final report preparation
14	20-Jan	Fri.			GPGPU: design problems and opportunities; Mios Elettronica: an embedded platform for railways
15	25-Jan	Wed.			final report preparation
15	27-Jan	Fri.	2		Introduction to embedded systems verification & testing; IoT and Cloud architectures
16	1-Feb	Wed.			final exam
	hours	56	32	24
	credits	6,0	4,0	2,0