Tag Archives: Rubik

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