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

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

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

  2. Marcos says:

    incredible

Leave a Reply

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

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 )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s