الديناميكية المحاكاة

K

kunal1514

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

 
هناك نوعان من الأساليب المستخدمة في التحقق من تصميم وضد القياسية.

1.التحقق الرسمي أو اختبار التكافؤ يستخدم أداة ، مثل سينوبسيس شكليات ، وذلك لاختبار تصميم في شكل واحد مثل وصف ار تي ال والتي من المعروف أن يكون وظيفيا صالحة ضد النموذج الثاني مثل وصف البوابة لضمان الدقة.يتم إجراء المقارنة عن طريق اختبار لمعادلة منطقية.

2.التحقق من الاختبارات الديناميكية وظيفة تصميم بمقارنة سلوكها مع مواصفات استخدام المحاكاة.

 
ديناميكية محاكاة شيء من هذا القبيل باستخدام ناقلات وظيفية لمحاكاة باستخدام أي من أجهزة المحاكاة مثل ncverilog ، modelsim ، فكس الخ

 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top