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?"
I was just chatting with the chaps and chapesses at Testonica. These little scamps offer a wide range of services, including test and measurement (T&M) and design for test (DFT) analysis, FPGA-based development, embedded software development, and electronics hardware design. The thing that really caught my … Read More → "Got FPGA? Got Test!"
I once worked for a large computer manufacturer that considered itself to be a “big cheese” in its headquarters’ hometown. For some reason, the folks who donned the undergarments of authority and strode the corridors of power decided to have a blitz on the local media channels — including newspapers, radio, and television — to remind the hoi polloi as to who we were and what we did. … Read More → "Want to Learn AI? But Where to Go?"
“Testing leads to failure, and failure leads to understanding.” – Burt Rutan
In this week’s podcast, we’re talking about testing, testing, and even more testing! We start things off with an investigation into a new microneedle patch developed at Rice University that is hoping to make testing for malaria easier and faster than ever before. Also this week, Geir Eide ( … Read More → "What is the Meaning of Test?"
I think it’s fair to say that the majority of my friends in Embedded Space (where no one can hear you scream) tend to live on the microcontroller (MCU) side of the fence. To put this another way, relatively few of my chums don their “I’m an FPGA Designer” T-Shirts before heading off to work in the morning.
A few years ago as I pen … Read More → "Eeek Alors! Radiation Hardened eFPGA IP"