Webinar: Efficient and Robust Memory Verification in Modern SoCs Using Formal Equivalence Checker

Online

With the increasing complexity and importance of memories in modern ICs, there is a clear need for specialized tools and techniques for the design and verification of embedded memory blocks. Traditional methods like SPICE simulation and cell-based formal verification have limitations; SPICE offers circuit-level accuracy but limited coverage, while cell-based methods can't fully represent transistor-level …

Webinar: Efficient and Robust Memory Verification in Modern SoCs Using Formal Equivalence Checker

Online

With the increasing complexity and importance of memories in modern ICs, there is a clear need for specialized tools and techniques for the design and verification of embedded memory blocks. Traditional methods like SPICE simulation and cell-based formal verification have limitations; SPICE offers circuit-level accuracy but limited coverage, while cell-based methods can't fully represent transistor-level …

2024 Semi Industry Forum: GenAI + Semiconductors + Humanity

Computer History Museum, Mountain View, CA

GenAI + Semiconductors + Humanity: History in the Making From 5:15 until 6pm, Silicon Catalyst has arranged special access for Forum attendees only to the Museum exhibition area (ground floor) The world we live in is at a major inflection point, as the symbiotic relationship between generative AI and semiconductors will impact society for generations …

Webinar: AI-Driven Constraint Generation for PCB and IC Package Design

Online

While constraint-driven design is not a new concept, the demand for automation and integration between design and analysis tools has grown with increasing design complexity. Optimizing constraints with AI/ML is a driving force for the productivity necessary to address today’s compressed design cycles. Tight integration and complete automation are crucial to enhancing productivity and efficiency. …

Supercomputing 2024 (SC24)

Georgia World Congress Center 285 Andrew Young International Blvd NW, Atlanta, GA, United States

Program Each year, SC provides the leading technical program for professionals and students in the HPC community, as measured by impact, at the highest academic and professional standards. The Program …