Scalability – A Looming Problem in Safety Analysis
The boundless possibilities of automation in cars and other vehicles have captivated designers to the point that electronic content is now a stronger driver of differentiation than any other factor. It accounts for a substantial fraction of material cost in any of these vehicles.… Read More
Key semiconductor market drivers PCs and smartphones are both showing declines in shipments in the first half of 2022. According to IDC, PC shipments in 2Q 2022 were down 15% from a year earlier. 2Q 2022 PC shipments of 71.3 million units were at the lowest level in almost three years since 70.9 million units were shipped in 3Q 2019.… Read More
Monday at DAC I was able to meet with Dr. Ashish Darbari, the CEO and founder of Axiomise. Ashish had a busy DAC, appearing as a panelist at, “Those Darn Bugs! When Will They be Exterminated for Good?”; and then presenting, “Taming the Beast: RISC-V Formal Verification Made Easy.”
I had read a bit about Axiomise… Read More
Formal verification at the SoC level has long seemed an unapproachable requirement. Maybe we should change our approach. Could formal be practical on a suitable abstraction of the SoC? Paul Cunningham (GM, Verification at Cadence), Raúl Camposano (Silicon Catalyst, entrepreneur, former Synopsys CTO and now Silvaco CTO) and… Read More
S2C’s Shines at DAC 2022 with its New Prodigy Player Pro-7 Prototyping Software, Multi-FPGA Prototype Hardware Platforms, and Complete Prototyping Solutions
The 59th Design Automation Conference returned to San Francisco’s Moscone Center this year to notch almost six decades of week-long immersion in EDA technology and … Read More
Let’s face it. Standards aren’t always exciting, and the process of ratifying new versions can be time-consuming and tedious. Regardless, we all know standards are the glue that bind many ecosystems and without them the technology world would be good measure more chaotic. Standards come in many versions, with various amounts… Read More
In 2022 using the cloud for EDA tasks is a popular topic, and at DAC this year I could see a bigger presence from the cloud hardware vendors in the exhibit area, along with a growing stampede of EDA companies. Tuesday at DAC there was a luncheon with experts from Siemens EDA, Google and AMD talking about surge compute. I already knew Michael… Read More
Most people will be surprised by this but after working in Taiwan for many years I quite expected it. Intel Announced that MediaTek will use Intel Foundry Services for FinFET based smart edge device chips. MediaTek will start with Intel 16nm technology which originated from the legendary 22nm, the first commercial FinFET process.… Read More
-ASML reports strong quarter- Orders up 20% Qtr/Qtr
-Customers rush delivery which delays revenue recognition
-Chip makers need hard to get litho tools most of all
-Warning on concerns about consumer chip demand
Good numbers that are even better in reality
ASML reported revenues of Euro5.4B and EPS of Euro3.54. Most importantly… Read More
Dan is joined by Gopi Sirineni, the President & CEO of Axiado, a company that is spearheading unique security technologies with AI in hardware. He is a Silicon Valley veteran with over 25 years of successes in the semiconductor, software and systems industries.
Gopi explains what’s different about the Axiado approach… Read More
Weebit Nano Moves into the Mainstream with Customer Adoption