We looked at another paper on ML-based coverage acceleration back in April 2022. Here is a different angle from IBM. Paul Cunningham (Senior VP/GM, Verification at Cadence), Raúl Camposano (Silicon Catalyst, entrepreneur, former Synopsys CTO and now Silvaco CTO) and I continue our series on research ideas. As always, feedback… Read More
Artificial Intelligence
Area-optimized AI inference for cost-sensitive applications
Often, AI inference brings to mind more complex applications hungry for more processing power. At the other end of the spectrum, applications like home appliances and doorbell cameras can offer limited AI-enabled features but must be narrowly scoped to keep costs to a minimum. New area-optimized AI inference technology from… Read More
Synopsys Design Space Optimization Hits a Milestone
I talked recently with Stelios Diamantidis (Distinguished Architect, Head of Strategy, Autonomous Design Solutions) about Synopsys’ announcement on the 100th customer tapeout using their DSO.ai solution. My concern on AI-related articles is in avoiding the hype that surrounds AI in general, and conversely the skepticism… Read More
10 Impactful Technologies in 2023 and Beyond
There are many exciting technologies that are expected to shape the future, the following are some of the technologies that will impact our lives in the coming 5 years at different levels and depth:
Generative AI, also known as generative artificial intelligence, is a type of #AI that is designed to generate new content or data … Read More
Effective Writing and ChatGPT. The SEMI Test
ChatGPT is a hot topic, leading a few of my colleagues to ask me as a writer what I think of the technology. I write content for tech companies and most of my contacts freely confess that they or more often their experts struggle with writing. If a tool could do that job for them they would be happy and I would have to find a different hobby.… Read More
All-In-One Edge Surveillance Gains Traction
Like it or not, the surveillance market is growing, at a CAGR approaching 10%. Big brother concerns sometimes cloud the picture but overlook the much larger practical yet less hype-worthy applications for surveillance. Home and industrial security, enhanced traffic flow management, monitoring for fire and other fast-growing… Read More
2022 Retrospective. Innovation in Verification
As usual in January we start with a look back at the papers we reviewed last year. Paul Cunningham (GM, Verification at Cadence), Raúl Camposano (Silicon Catalyst, entrepreneur, former Synopsys CTO and now Silvaco CTO) and I continue our series on research ideas. As always, feedback welcome. And don’t forget to come see us at DVCon,… Read More
Formal Datapath Verification for ML Accelerators
Formal methods for digital verification have advanced enormously over the last couple of decades, mostly in support of verification in control and data transport logic. The popular view had been that datapath logic was not amenable to such techniques. Control/transport proofs depend on property verification; if a proof is … Read More
Siemens Aspires to AI in PCB Design
This. AI in PCB design is not a new idea. Other PCB software companies also make that claim. But when a mainstream systems technology company like Siemens talks about the subject, that is noteworthy. They already have an adaptive user interface (UI) for their mechanical modeling suite and to assist in low-code development for application… Read More
Webinar: Flexible, Scalable Interconnect for AI HW System Architectures
Building next generation systems is a real balancing act. The high-performance computing demands presented by increasing AI an ML content in systems means there are increasing challenges for power consumption, thermal load, and the never-ending appetite for faster data communications. Power, performance, and cooling … Read More
Flynn Was Right: How a 2003 Warning Foretold Today’s Architectural Pivot