Upload

Loading...

Video Easter Egg: Incisive Formal Verifier driving a Rubik's Cube solving robot

1,690

Loading...

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Uploaded on Apr 21, 2011

Just in time for Easter, Team Verify's Apurva Kalia, Manu Chopra, and Suman Ray created a Rubik's Cube solving Lego robot. However, unlike any other such 'bot, the brains of this one are a single SVA assertion that is solved by Incisive Formal Verifier (IFV), a Formal verification tool by Cadence Design Systems, Inc. More details in this blog post: http://is.gd/TPG8vM

UPDATE: the team is working on a new & improved robot, to be revealed at CDNLive India in Bangalore on October 19, 2011 in Bangalore. http://is.gd/IxQe66 Stay tuned for more ...

Credits: This Rubik's Cube robot is based on a design by Hans Andersson (http://tiltedtwister.com/tiltedtwiste...)

Loading...

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

Up next


to add this to Watch Later

Add to

Loading playlists...