سؤال للتحقق؟

A

abhineet22

Guest
كيفية التحقق من يخرج أولا غير متزامن ذاكرة الوصول العشوائي؟

 
1) إنشاء خطة التحقق
2) إنشاء testbench ، وذلك باستخدام ما يعتقد انه كوليسترول أو ه.
3) إنشاء testcases.
4) تشغيل المحاكاة.
5) تحقق النتائج والتغطية.

التحيات ،

 
لا أعرف كيف.ذاكرة الوصول العشوائي غير متزامن يخرج أولا من الصعب جدا للتحقق.

 
1) كتابة الخطة : ما الشروط التي يجب التحقق منها.
على سبيل المثال : للقراءة فقط ؛ الكتابة فقط ؛ ألف باء القراءة والكتابة وأسرع من باء ؛ ألف باء القراءة والكتابة بشكل أسرع من وباء ، ألف باء الكتابة قراءة وأسرع من باء ؛...
2) بناء enviorenment التحقق من مثل هذه الخطة.
3) تحليل ومجلس إف بي جي إيه والتحقق منها لإيجاد ظروف أكثر corener أن الفكر ليس لديك ، وإضافتها إلى الخطة في (1) ، وتكمل enviorenment التحقق عن طريق إضافة المزيد من النقوش.

 
1.يخرج أولا كامل
2.يخرج أولا فارغة
3.تجاوز يخرج أولا
4.يخرج أولا تجاوز الحد الأدنى
5.إعادة الانتعاش (إذا كان يخرج أولا يمكن أن يعطى إعادة تعيين ضعيف).وينبغي أيضا إعادة تعيين أي شيء أثناء كتابتها ويجب أن شغل
تبقى نقطة الصفر.وينبغي أيضا إعادة تعيين أي شيء خلال قراءته للخروج من يخرج أولا ، وينبغي أن تظل شغل صفر.
6.القراءة والكتابة في وقت واحد عندما يخرج أولا فارغة ، والكامل ، ونصف كاملة ، في إدخال واحد يخرج أولا ، إدخال واحد أقل من الكامل.
7.إذا لم يخرج أولا بالقرب من حافلة قرب وفارغة ثم التحقق من صحة ذلك أيضا.
8.التحقق من التركيبات التالية -- WWWW ، WRWRWR ، RRRR ، WWRRWWRR ، WWRWWR ، RRWRRW.

 
وعادة ما يخرج أولا رام المزدوج رام المنفذ التي تم إنشاؤها بواسطة مترجم الذاكرة.
المترجم الذاكرة تعطي نموذجا فيريلوج.وحدة تحكم كتبه نفسك تحقق من علم فارغة ، ونصف فارغ ونصف فارغ الكامل (عند الحاجة) مع نموذج ذاكرة الوصول العشوائي.

 

Welcome to EDABoard.com

Sponsor

Back
Top