( ESNUG 376 Item 17 ) ------------------------------------------- [08/29/01]
Subject: ( DAC 01 #21 ) Averant Investor Plants 'Customer' Endorsement
> "Here's my ten-second summary of my experiences to date with Averant's
> Solidify. ... Positives: it verifies RTL versus abstract properties,
> unlike netlist-to-netlist verifiers like Formality. The properties
> are easier to create than a Specman or Verilog testbench, ... When
> Solidify finds problems, the counter-example vectors it produces are
> nicely pruned, and they pointed me right at the problem areas. ... it's
> been very comforting to know that the circuit passes in Solidify."
>
> - Martin Harriman of Tau Networks
From: Simi Valecha <simi_valecha@yahoo.com>
John,
The engineer from Tau Networks forgot to mention that the CEO of Tau
Networks (Phil Mak) is on the board of Averant, and is the lead investor
for Averant.
- Simi Valecha
|
|
