Prof. Franco Fummi from Universita` di Verona, Italy:

Time: Tuesday, March 1, 15:15, 
Place: John von Neumann, B-building, IDA
Title: SYMBAD - Formal Verification in System Level Based Design

                            Abstract
The SYMBAD project developed a system level design and verification
framework for hardware and software integrated systems. The project
integrated in a system level design framework, a new formal
verification technique (Linear Programming Validation - LPV) together
with existing ones (Satisfiability Algorithms - SAT - and Automatic
Test Pattern Generation - ATPG) and with a Property Coverage Checker. 
Such a framework leads to a new methodology in high-level system
design offering conformance checking of low-level models with
high-level specifications.  The SYMBAD framework and its verification
techniques have been validated with the design of a reconfigurable
System-on-a-Chip (SoC) provided by a major European semiconductor
manufacturer.


Prof. Fummi will serve as the faculty opponent for Luis Cortes' PhD
disputation, which will take place on March 2 at 10:15. You are all 
welcome to attend it as well.