كيف يمكن للمرء أن يجد عدم المطابقة للمواصفات عندما يفتقد كل من RTL'ers ومهندسي التحقق ميزة مواصفات معينة؟

Question

لدي بعض الأسئلة بخصوص التحقق من عنوان IP.

افترض أنه في حالة فقدان تصميم / وظيفة معينة من مواصفات IP في كل من RTL وخطة التحقق (نقاط التغطية) ، كيف يمكنك تحديد هذا الخطأ؟

نظرًا لأنه لم يتم تنفيذه في RTL (غاب من المواصفات) ، لا يمكننا تحديده من تغطية الكود.

الرجاء إلقاء بعض الضوء على هذا

شكرا

Answer 1

يجب أن يقارن شخص ما خطة التحقق بمواصفات IP ذات المستوى الأعلى.لكل نقطة في المواصفات ، السؤال "كيف نظهر أننا استوفينا هذا المطلب؟"يحتاج إلى إجابة جيدة.

(إذا لم تكن الميزة المعنية موجودة ، فيجب إصلاح مواصفات المستوى الأعلى!)

Answer 2

يمكنك إنشاء قائمة ميزات وكتابة الاختبارات الخاصة بك مقابل ذلك.

Answer 3

تتضمن مراجعات التصميم وخطة الاختبار عمومًا مقارنة مواصفات IP بالتصاميم وخطط الاختبار المذكورة.عادةً ما يكون كاتب مواصفات IP حاضرًا أيضًا ، ويمكنه تحديد نقاط في المواصفات التي لم تتم تغطيتها.