editor's blog archive
Subscribe Now

Breker Tests Multicore

Earlier this year we were introduced to Breker, a company that generates C tests for stressing SoC architectures and verifying that things work even with bizarre corner code that someone writing directed tests might not think to create.

The original version supported a single CPU along with all of the surrounding circuitry. They have recently announced their multicore version. While this might sound like simply a matter of being able to run their previous tests on multiple CPUs, it’s far from that.</ … Read More → "Breker Tests Multicore"

MIPS Gets a New Home

Hey, wanna buy a CPU company? You’re too late, because MIPS Technologies was just sold for $60 million in cash. If that’s more than you have in your pocket, it’s still a tiny sum for a company that helped pioneer the idea of RISC processors. Once the deal goes through, the MIPS processor familiy will belong to Imagination Technologies, the same IP company that offers PowerVR graphics, HelloSoft code, Ensigma network IP, and other doodads for SoC developers. Now MIPS becomes the jewel in Imagination’s crown.

Interestingly, Imagination gets only 82 of MIPS’s collection … Read More → "MIPS Gets a New Home"

Higher-Density Solid-State Battery Technology

Last year we took a look at Infinite Power Solutions (IPS), one of a couple of companies that have commercialized a solid-state lithium ion battery technology licensed from Oak Ridge Labs. Their current offering (pun intended) focuses on thin, flexible cells. But they have just announced a new technology, and at this point, it’s only a technology; they haven’t released any information on how it will be productized (and they may still be figuring that out).

The upshot is what … Read More → "Higher-Density Solid-State Battery Technology"

Using Formal to Help Simulation

While simulation is the granddaddy of verification, there are thorny problems that simulation doesn’t handle well, and formal analysis has gradually come of age over the years to attack those problems. So the two technologies end up working side by side on different issues to complete the verification plan.

While that is still largely true, Mentor has added a feature to their Questa verification platform to allow the formal part to help the simulation part. The formal part can help determine the simulation coverage; the feature is called CoverCheck.

The formal analysis engine … Read More → "Using Formal to Help Simulation"

featured blogs
Jul 1, 2022
We all look for 100% perfection and want to turn our dreams (expectations) into reality as far as we can. Are you also looking for a magic wand to turn expectation into reality? The story applies to... ...
Jun 30, 2022
Learn how AI-powered cameras and neural network image processing enable everything from smartphone portraits to machine vision and automotive safety features. The post How AI Helps Cameras See More Clearly appeared first on From Silicon To Software....
Jun 28, 2022
Watching this video caused me to wander off into the weeds looking at a weird and wonderful collection of wheeled implementations....