Search EDA360 Insider
Hey!!! Subscribe now to the EDA360 Insider!
-
Recent Posts
- A head-to-head comparison of the ARM Cortex-M4 and –M0 processor cores by Jack Ganssle
- Friday Video: SoC in tiny 500mg backpack transforms cockroach into radio-controlled exploration vehicle
- Friday Video: A different kind of fab with some very, very cool machines
- Friday Video: Get the latest skinny on the IPC-2581 open interchange standard for PCB design
- Smartphones: Where PCIe has not gone before—but will. Sooner rather than later.
EDA360 Tag Cloud
- 2.5D
- 3D
- 3D IC
- 20nm
- 28nm
- 32nm
- 40nm
- Agilent
- Altera
- AMD
- Analog
- Android
- Apple
- ARM
- ARM architecture
- ARM Cortex-A15
- ASIC
- Broadcom
- Cadence
- Canon
- Cortex
- Cortex-A15
- Cortex-M0
- DAC
- Dave Jones
- DDR3
- DDR4
- Double Patterning
- EDA
- EDPS
- Field-programmable gate array
- FinFET
- Flash
- Flash memory
- FPGA
- Freescale
- Freescale Semiconductor
- GlobalFoundries
- IBM
- Intel
- IP
- iPad
- iPhone
- JEDEC
- Jim Hogan
- Kinect
- Linux
- Low Power
- Lytro
- microcontroller
- Micron
- Microsoft
- Mixed Signal
- Multi-core processor
- Nvidia
- OrCAD
- pcb
- Printed circuit board
- Qualcomm
- Robot
- Samsung
- SDRAM
- Snapdragon
- SoC
- STMicroelectronics
- SystemC
- Texas Instruments
- TI
- TSMC
- USB
- verification
- video
- Wide I/O
- Xilinx
Top Posts
- A head-to-head comparison of the ARM Cortex-M4 and –M0 processor cores by Jack Ganssle
- Ingenious architectural features allow ST to extract maximum performance from new microcontroller family based on ARM Cortex-M4. Cost: less than 6 bucks in 1000s
- The DDR4 SDRAM spec and SoC design. What do we know now?
- About
- Power, Performance, Cost. FDSOI lets you pick any three. Want proof? How about an ARM Cortex-M0 processor core example?
- 3D Thursday: How Xilinx developed a 2.5D strategy for making the world’s largest FPGA and what the company might do next with the technology
- Download a free PDF of the Mixed-signal Methodology Guide, Chapter 1: Design Trends and Challenges
- Realizing the ARM Cortex-A15: What does the road to 2.5GHz look like?
- EETimes video of Xilinx Zync EPP shows that it takes six FPGAs to emulate one EPP
- Globalfoundries, LSI Corp, and Broadcom help Editorial Director Ed Sperling give the industry a low-power report card. How did we score?
Download the EDA360 Vision Paper here:
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 Formal, Incisive, Lego Mindstorms, Mindstorms, Rubik, Rubik's Cube, verification
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 Bluetooth, Lego, Lego Mindstorm NXT, robotics, Rubik's Cube, Samsung Galaxy
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 Bluetooth, CubeStormer, Rubik's Cube
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 Lego, Lego Mindstorms, robotics, Rubik's Cube
2 Comments
