Friday Video: Rubik’s Cube puzzle solved with Lego Mindstorms robot and… Cadence Incisive Formal Verifier???

Posted on September 16, 2011 by sleibson2

Normally, you don’t use a formal verification tool to solve puzzles like Rubik’s Cube and you also don’t normally connect the verification tool to a robot. No, things are usually more cut and dried than that. However, there’s nothing that says you “can’t” so such a thing and this video from Cadence Team Verify seems to prove that [ahem] assertion. (More details here.)

Advertisement

About sleibson2

EDA360 Evangelist and Marketing Director at Cadence Design Systems (blog at https://eda360insider.wordpress.com/)
This entry was posted in EDA360, System Realization, Verification and tagged , , , . Bookmark the permalink.

2 Responses to Friday Video: Rubik’s Cube puzzle solved with Lego Mindstorms robot and… Cadence Incisive Formal Verifier???

  1. Joe Hupcey III says:
    September 16, 2011 at 10:05 am

    FYI: the team is working on a new & improved robot, to be revealed at CDNLive India in Bangalore on October 19 in Bangalore. Stay tuned for more …

    Reply
  2. Marcos says:
    October 6, 2011 at 8:09 am

    incredible

    Reply

Leave a Reply

Fill in your details below or click an icon to log in:

Gravatar
WordPress.com Logo

You are commenting using your WordPress.com account. ( Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. ( Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. ( Log Out /  Change )

Cancel

Connecting to %s