Tag Archives: Rubik’s Cube

Friday Video: Incisive Formal Verifier solves Rubik’s Cube redux at DVCon 2012

You’ve seen robotic Rubik’s cube solvers before—even in EDA360 Insider. (For example, see “Friday Video: Multicore, ARM-powered CubeStormer II solved Rubik’s Cube puzzle in world-beating 4.762 seconds”). Well, Cadence once again had its robotic Rubik’s Cube solver powered by Incisive … Continue reading

Posted in EDA360, Verification | Tagged , , , , , , | Leave a comment

Friday Video: Multicore, ARM-powered CubeStormer II solved Rubik’s Cube puzzle in world-beating 4.762 seconds

A couple of weeks ago, I posted a video of the ARM-powered CubeStormer II, a robotic mechanism constructed from four Lego Mindstorm NXT kits, that’s purpose-built to unscramble Rubik’s Cubes in the minimum amount of time. The CubeStormer II envelops … Continue reading

Posted in Android, EDA360, Firmware, System Realization | Tagged , , , , , | Leave a comment

Friday Video: Multi-core ARM CubeStormer II solves Rubik’s Cube in 8 seconds from punching the start button to solved puzzle!

There’s nothing like throwing a mind-blowing amount of 21st-century technology at a 1970s problem and Rubik’s Cube seems like a popular nerdy problem to solve. I blogged about one Lego-based puzzle-solving robot a few weeks ago and now ARM has … Continue reading

Posted in Android, Apps, ARM, EDA360, Samsung, System Realization | Tagged , , | Leave a comment

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 … Continue reading

Posted in EDA360, System Realization, Verification | Tagged , , , | 2 Comments