Found 6 query results that match Formality

  • Synopsys Formality vO-2018.06 SP1

    Synopsys Formality vO-2018.06 SP1 Formality and Formality Ultra Verifies the Toughest Designs Synthesized with Design Compiler Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. The size an.....
    Language : english Authorization: Retail Freshtime：2018-08-12 Size: 1DVD

  • Synopsys Formality vJ-2014.09 SP3 Linux64

    Formality and Formality Ultra Verifies the toughest designs synthesized with DC Overview Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. The size and complexity of today’s designs, cou.....
    Language : english Authorization: Retail Freshtime：2015-03-17 Size: 1DVD

  • Synopsys Formality v2012.06

    Overview Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. The size and complexity of today’s designs, coupled with the challenges of meeting timing, area, power and schedule, requires that.....
    Language : english Authorization: Pre Release Freshtime：2013-01-04 Size: 1CD

  • Synopsys Formality 2010.03 Linux

    Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. The size and complexity of today’s designs, coupled with the challenges of meeting timing, area, power and schedule, requires that the newe.....
    Language : english Authorization: Retail Freshtime：2010-04-04 Size: 66MB

  • Synopsys Formality 2008.09 SP4 Linux

    Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. The size and complexity of today’s designs, coupled with the challenges of meeting timing, area, power and schedule, requires that the newe.....
    Language : english Authorization: Retail Freshtime：2009-05-10 Size: 55MB

  • Synopsys Formality 2008.09 SP4 AMD64

    　::::::English Description::::::The Formality® Equivalence Checker uses formal techniques to prove or disprove equivalence between two versions of the same design. Equivalence checking is a type of static analysis that verifies large designs both quickly and completely without the use of test v.....
    Language : english Authorization: Pre Release Freshtime：2009-05-10 Size: 59MB