Upload

Loading...

This video is unavailable.

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

Like this video?

Sign in to make your opinion count.

Don't like this video?

Sign in to make your opinion count.

Want to watch this again later?

Sign in to add this video to a playlist.

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

Loading...

Loading...

Loading...

Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.

Loading...

Loading...
Working...
to add this to Watch Later

Add to