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 …

KnowMade at SEMICON Europa

Messe Munchen Munich, Germany

KnowMade will be attending the SEMICON Europa 2024 Conference in Munich, where Dr. Pauline Calka will present a poster on the Leading Patent Owners & New Entrants in Advanced Packaging. She will be available in the networking area on the day of the Advanced Packaging Conference (Wednesday, November 13) to share the latest insights on …

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 is designed to share best practices in areas such as: algorithms; applications; architectures and networks; clouds and distributed computing; data analytics, visualization, and storage; machine …

Workshop on Open-Source EDA Technology (WOSET)

Online

Workshop on Open-Source EDA Technology The WOSET workshop aims to galvanize the open-source EDA movement. The workshop will (virtually) bring together EDA researchers who are committed to open-source principles to share their experiences and coordinate efforts towards developing a reliable, fully open-source EDA flow. The workshop will feature presentations that overview existing or under-development open-source …

Automotive Computing Conferences 2024

Munich, Germany

WELCOME TO OUR AUTOMOTIVE COMPUTING CONFERENCES (ACC) in 2024 We are excited to explore the transformation of classic vehicles into modern, software-defined vehicles and IoT devices. As the automotive industry evolves, the vehicles of the future demand top-notch computing performance, powerful control units, and adherence to increasingly stringent standards. We face various challenges such as …