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 …

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 …

Defect-Based Testing

Munich, Germany

Semiconductor and integrated circuit developments continue to proceed at an incredible pace. For example, today's application-specific ICs and microprocessors can contain upwards of 100 million transistors. Traditional testing relies on …