Posted by rjamison on June 15th, 2010
Guest: Randy Bryant, Current Phil Kaufman Award Winner; Dean and University Professor, School of Computer Science, Carnegie Mellon University
Host: Rich Goldman, Vice President, Corporate Marketing and Strategic Alliances, Synopsys
Randy Bryant talks about the research that he conducted which lead to his development of Formal Verification. Listen to his personal experiences and expertise with Formal Verification, how he thinks it can be applied to software, and his knowledge about the rise of assertion in Formal Verification.
If your browser doesn’t support Flash, click here to download the show and play it locally.
Links to topics referenced in the show:
This radio show was originally recorded at the Synopsys exhibition booth at the Design Automation Conference (DAC) in Anaheim, California on June 15, 2010.