It’s computers all the way down. We know about recursion in software, but it’s surprising to find it occurring in hardware. How many computers are really inside your computer? One? A couple? Maybe a dozen? In reality, it’s probably hundreds.
Normal people count the average PC, Mac, or Linux box as one computer. But, as engineers, we … Read More → "How Many Computers Are in Your Computer?"
If you are a hardware design engineer, you are doubtless familiar with the concept of formal verification as it applies to hardware design, but have you ever considered how formal verification might relate to software and the developers thereof (bless their little cotton socks)?
Life can be a rum old thing, and no mistake. When it comes to formal verification, … Read More → "If You Can’t Trust TrustInSoft, Who Can You Trust?"
It’s funny how, the older you get, things seem to increasingly circle around. You start off thinking you are heading in a new direction, and then you suddenly find yourself back where you started. I don’t know about you, but just re-reading the previous sentence reminds me of the lyrics to Time by Pink … Read More → "I See Zebus and Zebras Everywhere!"
Clouds are ephemeral, passing quickly from sight, carried away on the lightest of breezes. Apparently, so are cloud-based products.
Consumer giant Samsung has decided to deep-six its entire SmartThings product line, starting with users’ home hubs. As of last week, SmartThings hubs stopped working. They’re essentially bricked because, like all cloud-based services, they sail upon the whim of the … Read More → "RIP, Cloud-Connected Devices"
Just to make sure I have your attention, let’s start with the conclusion and then I’ll tell you how we got there. Is that OK with you? Good. In that case, the conclusion is that the clever folks at CacheQ have come up with a cunning solution that can take your regular single-threaded C/C++ code and compile it in such a way as … Read More → "Accelerating C/C++ Without Tears or Tribulations"
There is an interesting side effect of Moore’s Law’s relentless march, where some technologies atrophy even though they are still extremely relevant and applicable in the mainstream. Take, for example, the case of the 100K LUT FPGA. Not that many years ago, a 100K LUT FPGA was solidly in the high-end, and numerous applications took advantage of the generous helping of flexibility and hardware … Read More → "Lattice Launches CertusPro-NX"