تعليمات وأدوات التحقق الرسمي

[luoliuzhu]

مرحبا شباب ،
الذين يمكن ان تقولوا لي ما هي الأدوات التي تحقق الرسمي يستخدم على نطاق واسع في الوقت الراهن؟0in أو ماجلان؟

شكرا

 

[aji_vlsi]

luoliuzhu كتب :

مرحبا شباب ،

الذين يمكن ان تقولوا لي ما هي الأدوات التي تحقق الرسمي يستخدم على نطاق واسع في الوقت الراهن؟
0in أو ماجلان؟شكرا

 

[ray123]

LEC كانت شعبية اليمين إلى اليسار إلى بوابة التحقق المستوى.
LEC هو أداة الإيقاع الآن.

 

[rameshsuthapalli]

مرحبا جميعا ،

الرسمي أداة تحقق هو الذي يعتمد على استخدام أداة اور لاور synthesis.if باستخدام أدوات سينوبسيس لتوليف ثم عليك أن استخدام "شكلية" tool.if اور باستخدام ار تي ال ش البرمجي لاستخدام LEC من candence.حتى إذا اور باستخدام بعض companie ش أداة التوليف الموصى به لاستخدام نفس companie توليف أداة.

تمنيات ،
ramesh.s

 

[luoliuzhu]

في الواقع ، وتحقق رسمي ط الأداة المذكورة تقوم على التأكيد ، وليس شكليا أو LEC.

وأنا أعلم ، استخدام بعض الشركات 0in وماجلان.أريد أن أعرف أكثر مما هو أداة أفضل.أو الأداة التي تستخدم على نطاق واسع؟

يرجع الفضل في ذلك مسبقاوأضاف بعد 3 دقائق :أريد أن تقييم هاتين الأداتين التحقق الرسمي.نحن نريد لشراء واحدة رسمي أداة تحقق.

لذا ، فمن المهم جدا بالنسبة لي ومجموعتنا.

شكرا

 

[Guest]

[No message]

 

[aji_vlsi]

luoliuzhu كتب :أريد أن تقييم هاتين الأداتين التحقق الرسمي.
نحن نريد لشراء واحدة رسمي أداة تحقق.لذا ، فمن المهم جدا بالنسبة لي ومجموعتنا.شكرا