Dr. Tom Melham | At-scale Formal Verification for Industrial Semiconductor Designs

Speaker: Dr Tom Melham (University of Oxford)
Date: 19th Jul 2017 - 11:40 to 12:15
Title: At-scale Formal Verification for Industrial Semiconductor Designs
Event: (OFBW34) Big Proof - Challenges in Industry and Research
🔗 gateway.newton...
-------------------
FOLLOW US
🌐| Website: gateway.newton...
🐦| Twitter: / newtongateway
💬| Facebook: / newtongateway
🔗| LinkedIn: / newton-gateway-to-math...
🎥| Isaac Newton Institute: / @isaacnewtoninstitute
ABOUT
The Newton Gateway to Mathematics acts as a knowledge intermediary for the mathematical sciences. It is the impact initiative of the Isaac Newton Institute for Mathematical Sciences (INI). Supported by INI and the University of Cambridge, the Newton Gateway to Mathematics reaches out to and engages with the users of mathematics - in industry, business, public sector and other scientific disciplines. It helps to bridge the gap between those engaged in frontier mathematical research and those working in more applied areas, by stimulating the interchange of knowledge and ideas.
👉 Learn more about us and our events here: gateway.newton...