Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Hardware Design Automation - Problems, Solutions & Scalability

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Ulrich Kühne
Date
Le mardi 12 mars 2013 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
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.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents