( ESNUG 348 Item 16 ) -------------------------------------------- [3/30/00]
Subject: ( ESNUG 345 #2 ) Well, SureFire's SureLint Impressed Us The Most
> The one tool that we found was called HDL-Lint, sold by Veritools. (There
> is apparently another tool called SureLint from SureFire Verification,
> recently acquired by Verisity, but it was not available at the time of our
> evaluation. I think it is still in alpha/beta stages at this point.)
>
> - Nathan Dohm
> StarBridge Technologies Marlboro, MA
From: [ Mr. Happy ]
John,
I am a customer of SureFire (Verisity) and am evaluating SureLint and some
other tools (and already own Verilint) and prefer to remain anonymous.
Very interesting reading, Nathan. We have a Verilint license (with the 28
minute lockout) but never upgraded and are evaluating other linting tools.
Personally I was not impressed with HDL-lint. It seemed a step or two below
Verilint which hasn't even been upgraded in over a year.
I have been using the SureFire (now Verisity) tool for a few months now and
am very impressed with the features it provides. The tool has some unique
features such as FSM checks (automatically extracts them and draws bubble
diagrams) and detects static race conditions.
Normally, I use emacs to step through errors, too, but the SureLint GUI has
made me break that habit -- it is much easier to navigate by message type
rather than sequentially through each file.
The SureLint team is eager to improve the tool be it adding command-line
options, reporting new messages, special syntax handling, etc.
- [ Mr. Happy ]
|
|
