Loading...

DVCon 2012: Man vs Machine ... and the better Rubik's Cube solver is ...

729 views

Loading...

Loading...

Loading...

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 ...

Credits:
Robot design by Hans Andersson, http://tiltedtwister.com/

Incisive Formal Verifier interface: Apurva Kalia, Suman Ray, Cadence Design Systems, Inc.

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...