Semiwiki on LinkedIn Semiwiki on X.com Semiwiki RSS Feed Register / Log In

formality

  1. Events
  2. formality

Events Search and Views Navigation

Event Views Navigation

Today

Webinar: Fast and Accurate Functional ECOs with Synopsys Formality ECO

Online

Synopsys Webinar | Tuesday, August 16, 2022 | 8 a.m. Pacific To achieve maximal quality of results (QoR) in synthesis, it requires leveraging retiming, multibit banking, and advanced datapath optimizations, which are part of the Synopsys Fusion Compiler™ implementation solution. However, during the late-stage functional ECO (engineering change order) phase, the automated ECO tool needs …

Continue reading "Webinar: Fast and Accurate Functional ECOs with Synopsys Formality ECO"

stephane maulet headshot

Webinar: Achieve Out-of-the-Box Equivalence Checking with Synopsys Formality ML-driven Distributed Processing

Online

Synopsys Webinar | Wednesday, June 21, 2023 | 10:00 - 11:00 a.m. PDT When designers synthesize chip designs with aggressive PPA targets, the expectation and goal is to be able to complete verification with minimal effort and a fast turn-around-time. Synopsys Design Compiler and Fusion Compiler offer a broad spectrum of optimization techniques such as …

Continue reading "Webinar: Achieve Out-of-the-Box Equivalence Checking with Synopsys Formality ML-driven Distributed Processing"