Formal Equivalence Checking - Commercial Applications For Equivalence Checking

Commercial Applications For Equivalence Checking

Major products in the Logic Equivalence Checking (LEC) area of EDA are:

  • FormalPro by Mentor Graphics
  • Conformal by Cadence
  • Formality by Synopsys
  • SLEC by Calypto
  • Quartz Formal by Magma Design Automation

Read more about this topic:  Formal Equivalence Checking

Famous quotes containing the word commercial:

    “So by all means let’s have a television show quick and long, even if the commercial has to be delivered by a man in a white coat with a stethoscope hanging around his neck, selling ergot pills. After all the public is entitled to what it wants, isn’t it? The Romans knew that and even they lasted four hundred years after they started to putrefy.”
    —Raymond Chandler (1888–1959)