which is best nlint tools?

[xworld2008]

nlint

I have use Novas nlint before , and think it is a good tools for design. A friend tell to me that lec is better than nlint, but i remember lec is formal tools ,who can tell me which nlint tools is more power.
Thanks!

 

[jimjim2k]

nova nlint

Hi

As you may noticed with working on nlint, it does very comprehensive test (~about 200 tests). Therefore, it says always some errors or warnings in your design. Due to my experiences nlint from nova is a fine tool, specially for RTL (synthesizable) targeted man(and perhaps woman).



tnx

 

[wadaye]

nlint spyglass

I have use Novas nlint before , and think it is a good tools for design. A friend tell to me that lec is better than nlint, but i remember lec is formal tools ,who can tell me which nlint tools is more power.
Thanks!

Hi xworld2008:

It's obviously you confused blacktie and lec!

As you know, lec is a formal tool from verplex(now cadence).

Blacktie is the lint tool from verplex.

wang1

 

[hsueh_py]

nlint cadence

You can choice Nov@s nLint or Synop$ys LED@

 

[AlexWan]

spyglass compared to nlint

With I know, the LEDA of synopsys is a syntax checker.

Can anybody tell me the other function of this tool?

Thank you!

 

[khplnarayana]

blacktie lec

According to my knowledge Spyglass is very best tool for RTL check.
For more info www.atrenta.com

 

[wadaye]

synopsys leda vs atrenta spyglass

With I know, the LEDA of synopsys is a syntax checker.

Can anybody tell me the other function of this tool?

Thank you!

Yes LEDA is just a syntax checker, and it is suit for synopsys's tool,

such as DC, VCS, FORMALITY. So if you use other EDA Company's tool,

other lint tool(e.g. nLint) will be better choice.

wang1

 

[niko_zhang]

nlint tool

From www.deepchip.com

Cadence built-in (HAL) : ################# 17%
Mentor MTI built-in lint : ############## 14%
Synopsys built-in lint : #### 4%
Synopsys Leda : ########### 11%
Synopsys Verilint : ##### 5%
Aldec built-in lint : ######### 9%

Atrenta Spyglass : ############## 14%
Novas nLint : ######### 9%
Verisity SureLint : #### 4%
TransEDA vnlint : #### 4%
Veritools HDLlint : # 1%

0-in Checklist lint : ##### 5%
RealIntent lint : ## 2%
Verplex lint : #### 4%

 

[wadaye]

deepchip spyglass

If you use build-in ability of simulate/syhthesis/formal tool, you will have

to modify your code again and again, but if we the lint tool we can modify

the code very few times. And the speed of lint tool is fast the

simulate/synthesis/formal tool. That's why we should use a standalone

lint tool.

wang1