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





Stand-Out Veteran Provider of FPGA Prototyping Solutions at #59DAC
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
A Look at the PCIe Standard – the Silent Partner of Innovation
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
Calibre, Google and AMD Talk about Surge Compute at #59DAC
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
Intel Lands Top TSMC Customer
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 Business is so Great it Looks Bad
-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
Podcast EP95: An Overview of Axiado’s Transformative Security Technologies
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
CEO Interview: Jaushin Lee of Zentera Systems, Inc.
Dr. Jaushin Lee is the founder and CEO of Zentera Systems. He is the visionary architect behind the award-winning Zentera CoIP (Cloud over IP) platform that enables enterprises to dramatically accelerate their journey to Zero Trust security. Jaushin brings 20 years of management and executive experience in networking and computer… Read More
The Silent Revolution is Underway, and Semifore is at its Epicenter
There is a major shift in innovation occurring all around us. We see the results every day. We can interact with them in an easier, more intuitive way. They deliver insights about our health and our daily habits. All this can be categorized as a move towards Smart Everything – ubiquitous machine-assisted intelligence for the good… Read More
EasyVision: A turnkey vision solution with AI built-in
Artificial intelligence (AI) is reserved for companies with hordes of data scientists, right? There’s plenty of big problems where heavy-duty AI fits. There’s also a space of smaller, well-explored problems where lighter AI can deliver rapid results. Flex Logix is taking that idea a step further, packaging their InferX X1 edge… Read More
Rapidus, IBM, and the Billion-Dollar Silicon Sovereignty Bet