أي شخص يمكن الحديث عن ما يعتقد انه كوليسترول ينت الأدوات؟

[Max40W]

هناك العديد من الأدوات لينت يعتقد انه كوليسترول في السوق ،
مثل LEDA (Synosys) ، nLint (النجوم) ، والمنظار (Atrenta) ، واللمعان (ايفرست) etc.Anyone الذين يمكن الحديث عن لينت الأدوات المستخدمة أو التي تستخدم في الماضي هو الآن؟

 

[mariaR]

كنت nLint.انها جيدة وسهلة الاستعمال.أساسا ، لأنها تساعدك dectect خطأ من الشفرة.ولكن أخطر خطأ في مدونة لكم المنطقي الأخطاء ، وليس تركيب الأخطاء.لذا carefull ، لا تعتمد كثيرا على لالأداة.أي الأدوات حسب علمي هي نفسها ، انها ليست أداة حاسمة للتصميم الرقائق التدفق.بعض الخبراء مصمم حتى لا تستخدم كأداة

 

[cnz]

يمكنني استخدام النجوم nLint ، أيضا!
ويمكن اكتشاف تركيب ، DFT ، التوليفي القائم على خطأ في تصميم القواعد!

 

[joe2moon]

ما هي الفرق (ق) بين الأدوات التالية لينت (Synopsys) :
1) LEDA : الترميز للبرمجة والتصميم التوجيهي فاحص (فيريلوج / VHDL)
2) نوفا - VeriLint : تصميم فيريلوج مطهر
3) نوفا - ExploreRTL : فيريلوج / ار تى ال VHDL فحص المحلل

وبطبيعة
الحال ، هو نوفا - VeriLint محددة لفيريلوج.
ولكن ماذا عن أي اختلاف في الميزة؟

ويرجع الفضل في ذلك مسبقا.

ملاحظة : نوفا - **** يبدو أن أفانت! / أداة.
الماضي الذي حرره joe2moon على 04 مارس 2003 12:48 ؛ تحرير 1 مرة في المجموع

 

[marsgod]

التجميع النهائي وربما هي أفضل وسائل وأدوات لينت... (synplify.. تصميم وتجميع...).

 

[joe2moon]

التجميع النهائي والأدوات هي أفضل الوسائل لينت؟
> بالطبع لا!
-------------------------------------------------- --
كل وسيلة ، مهما كانت فيريلوج منطق محاكاة أو المزج ،
لها تركيب فاحص.ولكن (تركيب فاحص) فقط الشيكات
لغرض محدد.

على العكس من ذلك ، عادة ما تكون هذه الأدوات لينت دعم مجموعة متنوعة من القواعد.
على سبيل المثال ،
1.المحاكاة
2.التوليف ،
3.RMM (إعادة الاستخدام م م * *)
4.DFT ،
5.تصميم الطراز ،
6.تسمية الاتفاقية ،... ، وقواعد محددة للمستخدم ، وغير ذلك.

يمكنك استخدامها للحصول على مزيد من realiable الترميز.

 

[Guest]

marsgod كتب :

التجميع النهائي وربما هي أفضل وسائل وأدوات لينت... (synplify.. تصميم وتجميع...).