ENCS5335 | تصميم واختبار النظام على رقاقة

تحليل الأداء الوظيفي وغير الوظيفية للنظام في مرحلة مبكرة من عملية التصميم لدعم قرارات التصميم. تحليل المفاضلة بين الأجهزة / البرمجيات، الخوارزميات، والبنى لتحسين النظام استنادًا إلى المتطلبات وقيود التنفيذ. المشكلات في تصميم النظام على رقاقة المرتبطة بالتصميم المشترك، مثل الملكية الفكرية وإعادة الاستخدام والتحقق من التفاعلية هي أن يتفاعل العديد من الأنظمة المدمجة باستمرار مع التغيُّرات في بيئة النظام، وأن تُحسب النتائج في الوقت المحدد دون أي تأخير. التحقق من الأنظمة الرقمية، من النظرية إلى ممارسة الصناعة. التحقق من تكافؤ المنطق. التحقق القائم على التأكيد. منهجية التحقق العالمية.