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