ESD Research Group at CS Department of University of Verona

1
ESD Research Groupat CS Department of
University of Verona
2
CS Department

• 8 research areas
• 46 lecturers
• 60 research assist.
• 6 undergrad-graduate degrees
• 2 master degrees
• gt 1000 students

Best CS Dept. in Italy for teaching and research
quality (CENSIS 2006)
3
ESD research group

• Permanent staff
• prof. Franco Fummi
• prof. Tiziano Villa
• prof. Andrea Acquaviva
• prof. Graziano Pravadelli
• prof. Davide Quaglia
• 10 research assistants
• 3 Post-doc
• 3 PhD students
• xx graduate students

21 People
4
ESD research areas

• Networked embedded system modeling and design
• System/Network co-design
• Co-modeling and Co-simulation
• QoS-enabled design
• Sensor networks
• Embedded system verification
• Static verification
• Dynamic verification
• Semi-formal verification
• Hybrid systems
• Energy management in embedded systems
• Energy and thermal control of MPSoC
• Energy scavenging for wireless sensor networks
• Basic CAD algorithms
• Synthesis of sequential and discrete event
  systems
• Physical design

more than 200 papers
5
ESD teaching projects

• 9 undergraduate and graduate courses in
• Computer architecture, Operating systems,
  Networking
• Electronic design automation, Embedded systems
• Supervision of a graduate degree in networks
• 2 European projects in FP6
• ANGEL (mobile gateway for sensors network)
• VERTIGO (HW formal verification)
• 1 European project in FP7
• COCONUT (embedded systems design and
  verification)
• best evaluation of the overall embedded systems
  track
• 1 national project
• 4 joint projects between University of Verona and
  private companies
• 10 research contracts with enterprises
• more than 2M projects funding in the last 5 years

6
ESD spin-off - EDALab

• Focus
• Networked embedded systems
• Main products
• EDA tools
• Hw/Sw/Network co-simulation, static/dynamic
  validation, RTL-TLM abstraction, etc.
• Middleware
• mobile terminals, ad-hoc sensor networks, etc.
• IP-cores
• factory automation, multimedia, etc.

10 year expertise in the development of hw/sw
models and tools