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: Hands-On: How Financial Analysts Use AI PCs for Secure Gen AI Workloads

Online

Independent software vendors (ISVs) are unleashing a new wave of business innovation as they run AI directly on Intel® Core™ Ultra processors. By shifting AI workloads from the cloud to the client, businesses can lower SaaS costs, protect user privacy and data security, and enable novel use cases when AI has access to the full …

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 …