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?"
In today’s Fish Fry podcast, we have a virtual sundae of electronic engineering goodness. We’ve got a scoop of autonomous driving, a scoop of IIoT, a little Infineon secret sauce, and a whole lot of sprinkles… because what good is a sundae without sprinkles, right? First up, Phil Hutchinson (element14) joins me to discuss element14’s “Low Power IoT Design Challenge with Infineon Technology”. We take a … Read More → "Better than a Human Driver: Trusted Electronics and Functional Safety"
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!"
What defines creepy? Is it a dark abandoned house with creaking floors and a history of mayhem? A doll with eyes that seem to follow you? A backwoods loner with a chainsaw?
Or is it your car? Your car takes you to work, to your friends’ houses, to your favorite vacation spots, and back home again. It goes everywhere with … Read More → "Your Car: 25 GB/Hour of Personal Data"
Sometimes the biggest engineering challenge is overcoming NIH. The dreaded “not invented here” syndrome has derailed many a project, cost untold millions, wasted months, and produced inferior products. NIH is like our own children: it’s hard not to fall in love and overlook the flaws.
Sometimes what we need is a whack on the head and someone to tell … Read More → "Find Your Security in the Cloud"
One of my favorite science fiction authors is/was Isaac Asimov (should we use the past tense since he is no longer with us, or the present tense because we still enjoy his writings?). In many ways Asimov was a futurist, but — like all who attempt to foretell what is to come — he occasionally managed to miss the mark.
Take … Read More → "Creating Tiny AI/ML-Equipped Systems to Run at the Extreme Edge"