News


Invited Talk by Edward Wang (MIT)

Inria Paris “Philippe Flajolet” room (AJ13) Monday 21-Oct-2024 11-12 also online: https://inria.webex.com/meet/thomas.watteyne Title Software engineering and formal methods for improved chip design productivity Abstract Diverse applications from medical devices to machine learning demandspecialized chips for improved performance, energy efficiency and reliability. Despite over two decades of chip design activity, the…

Continue reading