One of the things I really enjoy is bacon sandwiches, but that’s not what I wanted to talk about here. Another thing I enjoy is watching a startup company evolve from being a twinkle in its founder’s eye to purveying its first product.
Way back in the mists of time we used to call May 2020 (which is two … Read More → "Are You Ready to Lay Your Hands on the World’s First Universal Processor?"
In this week’s Fish Fry podcast, Ashish Darbari (Founder and CEO at Axiomise) joins me to chat about the past, present and future of formal verification. Ashish and I explore the three pillars of formal verification, how the perception of formal verification as changed over the years, and why we are seeing the increased adoption of formal verification today. Also this week, I delve into the details of … Read More → "The Art of Predictability : How Axiomise is Making Formal Verification Mainstream"
I am aghast, alarmed, astounded, shocked, and horrified. If pushed, I might admit to being flabbergasted (rarely has my flabber been so gasted). If I were feeling uncouth, I might even go so far as to say I was gobsmacked. How could something as awesome as what I am about to discuss have existed for so long without my knowing anything about it?
< … Read More → "You Too Can Rule the AoT with Audio Weaver"
Design verification is the name of the game of this week’s Fish Fry podcast. First up, John Dickol (DVCon 2022 U.S. Program Chair) and I chat about this year’s DVCon Virtual Conference, the new two stage paper submission process for this year’s conference and what you can expect by attending. Also this week, Robert Schweiger (Cadence) joins me to discuss why standardization is crucial to functional … Read More → "Verification for You and Me! DVCon U.S. 2022 and The New Cadence Midas Safety Platform"
I have to say that I’m constantly surprised and impressed by the things the clever chaps and chapesses at MathWorks come up with. Just when I think I’ve seen and heard it all, they spring into action and introduce me to things I’d never even thought about before.
Read More → "Keeping Autonomous Vehicles Out of the Ditch and on the Road"
Many semiconductor vendors including TI, NXP, STMicroelectronics, Microchip, and others play in the microcontroller market. As with nearly every semiconductor niche, microcontrollers have been getting bigger and badder for decades. In the 1970s, there were 4-bit microcontrollers for VCRs and other simple consumer electronics. There were scads of 8-bit microcontrollers, soon followed by 16-bit microcontrollers. Motorola Semiconductor (later renamed Freescale and eventually purchased by NXP) developed the 6801, 6805, 68705, 68HC08, 68HC11, 68 … Read More → "Who needs a Raspberry Pi Microcontroller Chip? Maybe You"
