lint tools for verilog

[raju]

verilog lint

Can someone please tell me what are the lint tools available for verilog.


If you can share your expereinces with the lint tools that would be great.

thanks
raju

 

[wadaye]

spyglass lint

Hi raju:

There are many hdl lint tools, such as nLint from novas, leda from

synopsys, blacktie from cadence.

 

[raju]

lint verilog

thanks wadaye for the suggestions.

I am planning on using a lint tool and never used one before. I have no idea about the different products available and features. I was wondering if someone can give me advice on which is the best lint tool for verilog verification and share the experience using the lint tools.


thanks
raju

 

[eda_wiz]

spyglass linting tool

N0VAS nLINT is the best One I used...

rgds
whizkid

 

[wadaye]

cadence lint

thanks wadaye for the suggestions.

I am planning on using a lint tool and never used one before. I have no idea about the different products available and features. I was wondering if someone can give me advice on which is the best lint tool for verilog verification and share the experience using the lint tools.


thanks
raju

Hi raju,

It's hard to say which is better. Because if your flow based on synopsys

tools, leda will be the best choice. Because leda check the semantics for

synopsys tools like dc, vcs, formality.

But if you use other tools, nLint will better. Because you can use nLint

with debussy. So you can use nSchematic to debug some bugs.

wang1

 

[Richardlin0301]

verilog lint free

nLint is nice and convenient to use. It supports windows & unix.

 

[hoangthanhtung]

spyglass verilog

Can someone please tell me what are the lint tools available for verilog.


If you can share your expereinces with the lint tools that would be great.

thanks
raju

Search in vhdl.org or soccentral.com

 

[fpga123]

verilog lint tool

lec is better

 

[davorin]

lint for verilog

lec is better

If you post something like "xxx is better" then please tell a reason for it you believe it is that way...

Otherwise it isn't better than all those spam like "me too" and "thank you" !!!

 

[galant]

vhdl lint

Cadence also has a lint tool named HAL(HDL Analysis Lint).

 

[wadaye]

leda lint

lec is better

Hi fpga123:

Lec is a formal check tool, not lint tool. The lint tool from the same

company(Verplex) is blacktie. Now Verplex is belong to Cadence.

Now cadence have two lint tools: blacktie and hal. And the sales of

cadence start to sell the former, and will abandon the hal later.

 

[acezian]

cadence lint tool

i prefer to nlint of novas.

 

[xigu]

free verilog lint tool

LEC can also check some RTL rules. Maybe formal check and rule check will be integrated in future.

 

[xwcwc1234]

verilog lint checker

Could someone know where can download the lint tool for verilog ?

 

[ME]

spyglass lint checker

i prefer to nlint of novas.

Didn't you read the previous post by davorin???
Your post is just spam.
If you think novas is best, then tell why you think so and tell which other lint tools you have tried. Otherwise your post is useless.

lec is better

If you post something like "xxx is better" then please tell a reason for it you believe it is that way...

Otherwise it isn't better than all those spam like "me too" and "thank you" !!!

Could someone know where can download the lint tool for verilog ?

Go to the company website of the Lint tool you are interested in and order it there!

 

[nand_gates]

spyglass lint tool

Go for Verix it too good !!
It cot one serious problem in my state machine which was hard to detect
with normal simulations. It checks for endless loops in ur statemachines!
We tried hal also.

 

[wkong_zhu]

what is linting verilog

nLint is the best, most powerful.
I love it.

Warning sent.

Read the whole topic before you reply!!

Davorin and ME warned against posting useless spam like this earlier in this topic, but you choosed to ingnore this.


Don't make any more posts like "xxx is the best" without giving good reasons and post wich tools you have experince with.
nLint could be the only tool you have tried for all we know. So your post "nLint is the best" is completely useless.

 

[AlexWan]

spyglass lint warning

LEC can also check some RTL rules. Maybe formal check and rule check will be integrated in future.

I think that LEC only check the syntax of HDL. Such as Debussy also check the basic syntax when reading design. It can't check the special requirements, as naming rules.

Lec is a formal tool. It can be used as a vision control tool yet.

nLint, LEAD can check the design with your rules, not only basic syntax, but also rules defined by yourselves.

 

[zhangpengyu]

verilog nlint

I use nLint ,it's good and easy!

 

[aegean.chou]

spyglass linting

nLint, LEDA etc. but i think nLint is the best.