( ESNUG 376 Item 4 ) -------------------------------------------- [08/29/01]
Subject: ( DAC 01 #21 ) Start-up 'Veritable' Has Linter & Model Checker
> "a) Veritable: Averant static checker type deal. Looks more formal
> in nature. Called Verity-check. Mostly a state checker, but
> also has race detection and linting-type checks. They had a
> 2nd tool, but I seem to have lost my handout. I remember it
> too was worth a closer look."
>
> - Peet James, Qualis Design
From: [ The Tool Man ]
John,
Veritable: New Start up. Code is from Duet Technologies and they claim
they have Linter selling for $15K and another Model Checker but not
available yet. They tried to get angel money but where turned down do
to incomplete product development. They are still looking for investors
if anyone wants to invest in just a lint tool. Isn't Cadence and the
others giving them away for free?
Please do not use my name. Thanks John!
- [ The Tool Man ]
|
|
