Taken for Granted

ESL, embedded processors, and more

Archive for November, 2010

Formal Verification Outside the Box: Michael Theobald of D.E. Shaw Research

Posted: Monday, November 8th, 2010 @ 11:50 pm in Uncategorized | No Comments »

Today at the DVClub meeting in Silicon Valley, I attended a really interesting talk by Michael Theobald of D.E. Shaw Research, who described the use of Formal Verification techniques in the verification of Anton, their multi-node specialised computing machine designed to model molecular dynamics of protein folding as a vehicle for drug discovery and design.   [...]