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

Webinar: Achieve Out-of-the-Box Equivalence Checking with Synopsys Formality ML-driven Distributed Processing
by Admin on 06-13-2023 at 3:31 pm

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

Read More

Jasper Announces Sequential Equivalence Checking

Jasper Announces Sequential Equivalence Checking
by Paul McLellan on 03-31-2014 at 8:00 am

Jasper finally announced their sequential equivalence checking app this morning. I say finally because they haven’t really tried to keep it a secret. They talked about it at the end of last year the Jasper User Group meeting and it has even had a page on their website. But formally the product was announced today.

The new JasperGold… Read More


Sequential Equivalence Checking with Jasper

Sequential Equivalence Checking with Jasper
by Paul McLellan on 10-01-2013 at 6:15 pm

When new restaurants open they sometimes have what is called a ‘soft opening’ where they open a few days earlier than the official opening night. They are less busy since nobody knows they are open yet, maybe the whole menu isn’t available and expectations may be lower. Of course, Broadway productions also often… Read More