der er bedst nlint værktøjer?

[xworld2008]

Jeg har brug Novas nlint før, og mener, at det er et godt værktøj til design.En ven fortæller mig, at LEC er bedre end nlint, men jeg husker LEC er formelle redskaber, der kan fortælle mig, hvor nlint værktøjer er mere strøm.
Tak!

 

[jimjim2k]

Hej

Som du måske har bemærket med arbejder på nlint, det gør meget omfattende test (~ 200 tests).Derfor står der altid nogle fejl eller advarsler i dit design.På grund af mine erfaringer nlint fra Nova er et fint værktøj,
der er specielt for RTL (synthesizable) målrettet mand (og måske kvinde).tnx

 

[wadaye]

xworld2008 wrote:

Jeg har brug Novas nlint før, og mener, at det er et godt værktøj til design.
En ven fortæller mig, at LEC er bedre end nlint, men jeg husker LEC er formelle redskaber, der kan fortælle mig, hvor nlint værktøjer er mere strøm.

Tak!

 

[hsueh_py]

Du kan vælge november (i) s nLint eller Synop $ ys LED @

 

[AlexWan]

Med jeg ved, Leda af synopsys er en syntaks brik.

Kan nogen fortælle mig den anden funktion af dette værktøj?

Tak!

 

[khplnarayana]

Ifølge min viden Spyglass er meget bedste redskab til RTL check.
For mere info www.atrenta.com

 

[wadaye]

AlexWan wrote:

Med jeg ved, Leda af synopsys er en syntaks brik.Kan nogen fortælle mig den anden funktion af dette værktøj?Tak!

 

[niko_zhang]

Fra www.deepchip.com

Kadencen built-in (HAL): ################# 17%
Mentor MTI indbygget i støv: ############## 14%
Synopsys indbygget i støv: # # # # 4%
Synopsys Leda: ########### 11%
Synopsys Verilint: ##### 5%
Aldec indbygget i støv: ######### 9%

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

0-i Checkliste støv: ##### 5%
RealIntent støv: # # 2%
Verplex støv: # # # # 4%

 

[wadaye]

Hvis du bruger bygge-in evne simulere / syhthesis / formelle redskab, vil du have

at ændre din kode igen og igen, men hvis vi den støv værktøj vi kan ændre

koden meget få gange.Og hastigheden af støv værktøj er hurtigt

simulere / syntese / formelle redskab.Derfor skal vi bruge en standalone

støv værktøj.

wang1