Workspaces
----
apbd
asves
asvpapers
bear
blast
buildmaster
caltrop
cases
compaan
concurrency
cosi
dif
diva
dopcenter
dopsysadmin
elab
embedded
embeddedadmin
giotto
healtheu
hyinfo
m2t2
mescal
metropolis
mica
mobies
mocpaper
msgadmin
mvsis
nephest
platform
ransom
robosysadmin
savg
sec
seminar
sensorprivacy
smartnets
systems
truck
video
webmaster
wow
Note:
JavaScript is disabled
, see the
Site Map
for navigation links
Lecture Schedule & Slides
Lecture
Date
Topic
Lecturer
Slides
1
Aug 24
Introduction to the course
ASV
pdf.1.per.page
pdf.2.per.page
2
Aug 26
Trends and Challenges in Electronics System Design
ASV
pdf.1.per.page
pdf.2.per.page
3
Aug 31
Trends and Challenges in Electronics System Design
ASV
pdf.1.per.page
pdf.2.per.page
4
Sep 2
Trends and Challenges in Electronics System Design
ASV
pdf.1.per.page
pdf.2.per.page
5
Sep 7
Models of Computation. FSM
RP
pdf.1.per.page
pdf.2.per.page
5
Sep 7
Esterel
RP
pdf.1.per.page
pdf.2.per.page
6
Sep 9
Esterel demo
RP
.tar files
7
Sep 14
Data-flow I
ASV
pdf.1.per.page
pdf.2.per.page
8
Sep 16
Data-flow II
ASV
pdf.1.per.page
pdf.2.per.page
9
Sep 21
The Tagged Signal Model I
ASV
pdf.1.per.page
10
Sep 23
The Tagged Signal Model II
ASV
11
Sep 28
CFSM
ASV
pdf.1.per.page
pdf.2.per.page
12
Sep 30
ECL / Kahn Process Networks
RP / Kees Vissers
ecl.1.per.page
ecl.2.per.page
Vissers.1.per.page
12
Oct 5
Petri Nets
Marco Sgroi
pdf.1.per.page
pdf.2.per.page
13
Oct 7
Polis
Harry Hsieh
pdf.1.per.page
pdf.2.per.page
Polis home page
14
Oct 12
Ptolemy
Edward Lee
pdf.1.per.page
pdf.2.per.page
Ptolemy home page
15
Oct 14
Data-flow / Control Optimization
ASV and Bassam Tabbara
pdf.2.per.page
16
Oct 19
Software Synthesis / Software Estimation
ASV
pdf.1.per.page
pdf.2.per.page
17
Oct 21
Cadence VCC
Paolo Giusto
18
Oct 26
Software Estimation / Scheduling
RP / Felice Balarin
pdf.1.per.page
pdf.2.per.page
19
Oct 28
Scheduling
Felice Balarin
20
Nov 2
Quasi Static Scheduling / Co-simulation
Marco Sgroi / ASV
pdf.1.per.page
pdf.2.per.page
21
Nov 3
Hardware Software Co-verification
Attila Jurecska
22
Nov 4
Latency Insensitive Protocols
Luca Carloni
ps.gz.3.per.page
23
Nov 9
Co-simulation
ASV
ps.gz.1.per.page
ps.gz.2.per.page
24
Nov 11
Component Based Design
Richard Newton
pdf.2.per.page
25
Nov 23
Communication Based Design
RP
ps.gz.1.per.page
ps.gz.2.per.page
26
Nov 30
Communication Based Design / Sonics
RP / Mike Meyer
