Expert Insights

Webinars

SNUG Papers

SolvNetPlus account is needed to access these papers.

What R&D Says

Formality: Independent Guidance Based Verification
John Lehman, Director, Applications Engineering, articulates how users can enable aggressive optimizations in Synthesis but yet rapidly setup Equivalence Checking with minimal user intervention.
Video Player is loading.
Current Time 0:00
Duration 3:37
Loaded: 0%
Stream Type LIVE
Remaining Time 3:37
 
1x
    • Chapters
    • descriptions off, selected
    • captions off, selected
    • en (Main), selected

      Independent Guidance Based Verification

      John Lehman, Director, Applications Engineering, articulates how users can enable aggressive optimizations in Synthesis but yet rapidly set up Equivalence Checking with minimal user intervention.

      Watch Now
      Formality Equivalence Checking – Best Verifiable QoR
      Video Player is loading.
      Current Time 0:00
      Duration 2:31
      Loaded: 0%
      Stream Type LIVE
      Remaining Time 2:31
       
      1x
        • Chapters
        • descriptions off, selected
        • captions off, selected
        • en (Main), selected

          Formality Equivalence Checking: Best Verifiable QoR….Up to 5X Faster

          Todd Buzan, Senior Director of R&D, discusses how Formality enables aggressive optimizations in Synthesis to achieve maximal QoR.

          Watch Now
          Formality Equivalence Checking: Best Verifiable QoR….Up to 5X Faster with Distributed Verification
          Video Player is loading.
          Current Time 0:00
          Duration 2:59
          Loaded: 0%
          Stream Type LIVE
          Remaining Time 2:59
           
          1x
            • Chapters
            • descriptions off, selected
            • captions off, selected
            • en (Main), selected

              Introducing Formality Distributed Verification Technology

              Phillip Baraona, Senior R&D Manager, discusses how Formality’s latest adaptive distributed verification technology delivers up to 5X faster turn-around time.

              Watch Now

              Related Tools

              Car

              Formality ECO

              ECOs Faster, Better, First Time Right