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.
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.