( ESNUG 373 Item 9 ) -------------------------------------------- [06/07/01]
Subject: ( ESNUG 370 #15 ) Mentor's FormalPro Is *Very* Memory Efficient
> Concerning the comments you had about Chrysalis, Formality, and Verplex:
> I was just wondering if anybody commented about Mentor's FormalPro or
> Innologic Systems' ESV-CV? (If there were no comments, I'd be interested
> in what users think about these two tools now.)
>
> - Albin Takami
> Nokia Mobile Phones San Diego, CA
From: Raimund Soenning <raimund.soenning@philips.com>
Hi, John,
We did an eval of 3 formal verification tools (Avanti Design Verifyer,
Verplex Tuxedo, Mentor FormalPro) in January. Mentor at that time had
some problems with automatic mapping of the state points for RTL-to-Gate
comparisons. In March, Mentor showed up again with a new release and now
I consider Mentor definitely as an option to Verplex. Especially if memory
consumption is a concern to you one should have a look at FormalPro.
- Raimund Soenning
Philips Semiconductor Starnberg, Germany
|
|
