Upload

Loading icon Loading...

This video is unavailable.

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

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like Joe Hupcey III's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike Joe Hupcey III's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add Joe Hupcey III's video to your 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 icon Loading...

Loading icon Loading...

Loading icon Loading...

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

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

Add to