LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Hardware Design Automation - Problems, Solutions & Scalability

Visit website for this news | Export event in iCalendar format

 Ulrich Kühne
Date
Tuesday, March 12 2013 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Ulrich Kühne (University of Bremen)

The size and complexity of integrated circuits has been growing exponentially for decades. With this growing complexity, it is getting more and more challenging to organize the design of hardware systems. Especially, correctness is a crucial issue, since bugs that make it to the silicon can be extremely expensive. Although for processors with over 3 billion transistors, the use of formal methods seems to be out of range more than ever, these methods are more and more used to accompany a quality driven design flow.

This talk will highlight some of the interesting problems occuring alongside the different abstraction layers from the specification to silicon, like model checking, verification coverage and debugging. While there is a high degree of automation downwards from hardware description languages such as VHDL or Verilog, a lot of manual work is still necessary on higher levels of abstraction. Here, natural language processing techniques are a promising path towards improved design automation.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 22
Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars