Chinese EDA


If you saw this headline and thought you missed a press release, don't panic. China has not, at this point, announced to the world that it has a suite of EDA tools ready to roll. The rest of the world is content to look at the substandard attempts it have made so far and write them off as not being capable of developing competitive EDA software. But in all likelihood, given the current politica... » read more

Different Requirements For Hyperscale Computing Across Vertical Application Domains


As mentioned in previous posts, one of the key conversations I have with customers a lot these days is how to deal with the balance of storage, compute and connectivity as we enter the era of hyperscale computing. While there are overarching challenges that are “of similar class” across the vertical application domains—consumer, hyperscale computing, mobile, networking, aerospace/defense,... » read more

A Machine Learning-Based Approach To Formality Equivalence Checking


By Avinash Palepu, Namrata Shekhar and Paula Neeley After a long and hard week, it is Friday night and you are ready to relax and unwind with a glass of wine, a sumptuous dinner and a great movie. You turn on Netflix and you expect that it will not only have plenty of pertinent suggestions for you, but also the most appropriate one based on all the previous movies and shows that you have wat... » read more

Solving CSD Verification Challenges


To tackle power consumption and slow execution, modern computational storage devices (CSD) seek to reduce data movement by including a small processing element next to the CSD (figure 1). The data request from the host is executed locally by the processing element, data is locally manipulated, and the result sent back to the host. Much less data is exchanged between storage and host, thus savin... » read more

Embedded Processor Requirements And OS Choice


For each embedded product, software developers need to consider whether they need an operating system; and if so, what type of an OS. Operating systems vary considerably, from real-time operating systems with a very small memory footprint to general-purpose OSes such as Linux with a rich set of features. Choosing a proper type of operating system for your product – and consequently w... » read more

I’m Almost Done


The city of Belgrade is renovating the street where I live. They are also building a new building next to mine so that I can see the construction work from my balcony. Last week, they blocked the street for some 20 minutes, and people got out of their cars and waited outside for the road to open. The construction workers were not in a hurry, and it seemed like everyone was ok with that, so I... » read more

Tackling Functional Correctness, Safety, Trust And Security


We’re six months into the pandemic, and it looks like in-person conferences are becoming a distant memory and that virtual conferences are now becoming routine. It used to be that traveling to a conference (sometimes long distances) was the only way to be able to attend technical presentations and learn about the latest technologies and methodologies, and that was only if you received permiss... » read more

The Next Wave Of Consolidation


End markets and technologies are changing, stock prices are up, and interest rates are down. Those are the necessary ingredients for acquisition binging. So why isn't much happening? The answer is that more industry consolidation is ahead, but it's all happening more slowly than the economics would suggest. Some of the reasons are obvious, others less so. The big delay is the COVID-19 pa... » read more

Optimizing What Exactly?


You can't optimize something without understanding it. While we inherently understand what this means, we are often too busy implementing something to stop and think about it. Some people may not even be sure what it is that they should be optimizing and that makes it very difficult to know if you have been successful. This was a key message delivered by Professor David Patterson at the Embedde... » read more

Hyperscale And Edge Computing: The What, Where And How


We hear a lot about “edge computing” these days. We are approaching an era in which unfathomable amounts of data are created, which need to be transmitted, stored, processed and made sense of. As we are witnessing never-before-seen scaling in all those domains, the term “hyperscale” computing has been invented. But what about the edge? As it turns out, the definition seems to have chang... » read more

← Older posts