Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Mar 1, 2012
DVCon 2012 is focused on functional verification methodologies. Hence, in this video I put 2 competing methodologies to the test: a Lego Mindstorms robot programmed by Incisive Formal Verifier to solve a Rubik's cube, vs. a human speed cuber. Will man or machine prevail? See the video to find out ...