2021 بأثر رجعي. الابتكار في التحقق

كما أنشأنا العام الماضي ، سنستخدم عدد يناير من هذه المدونة لإلقاء نظرة على الأوراق التي راجعناها العام الماضي. لقد فقدنا Jim Hogan والاستفادة من رؤيته في أوائل العام الماضي ، لكننا اكتسبنا خبيرًا جديدًا ومعروفًا أيضًا في Raúl Camposano (صديق آخر لـ Jim). Paul (GM ، Verification at Cadence) ، Raúl (Silicon Catalyst ، رائد الأعمال ، CTO السابق لشركة Synopsys) وأنا مستعدون لمواصلة هذه السلسلة حتى عام 2022 وما بعده. كما هو الحال دائما ، نرحب بالتعليقات.

اختيارات 2021

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

2020 بأثر رجعي

إيجاد ثقوب تغطية كبيرة

تقليل وقت الترجمة في المحاكاة

رشيقة والتحقق ، المصادقة

التشويش للتحقق من أمان SoC

اختبار الشبكات العصبية و CR

أدوات التحقق من صحة ما بعد السيليكون

تحليل القناة الجانبية في RTL

تجريد مسرّع يشبه ISA

عمليات فحص تناسق الذاكرة في RTL

نمذجة القوة القائمة على التعلم

اختبار ختامي قابل للتحجيم

رأي بول

أنا أستمتع حقًا بهذه المدونة ؛ لا أصدق أنه قد مضى عامين بالفعل. إنه لأمر مدهش بالنسبة لي كيف يبدو أن برنارد يجد شيئًا جديدًا ومثيرًا للاهتمام كل شهر. كان هدفنا عندما أطلقنا هذه المدونة هو مشاركة وتقدير بحث مثير للاهتمام ، ولكن في الممارسة العملية أثرت الأوراق بشكل مباشر على خريطة طريق Cadence في التحقق. الذي أعتقد أنه عرض التقدير النهائي.

كان أكبر موضوع رأيته في مدوناتنا لعام 2021 هو إثارة التجريد. كما كان الحال خلال الثلاثين عامًا الماضية ، لا يزال هذا هو أكبر رافعة لتحسين الإنتاجية. على الرغم من أنني ربما يجب أن أؤهل ذلك خاص بالمجال التجريد. تاريخيًا ، كانت الأفكار المجردة مستقلة عن التطبيق - مضلع إلى بوابة إلى قائمة netlist لـ RTL. الآن الأفكار التجريدية غالبًا ما تكون مجزأة - ISA إلى ILA للتحقق من المعجل في مدونة سبتمبر. تعيين البديهيات السلوكية عالية المستوى إلى SystemVerilog للتحقق من تناسق الذاكرة في مدونة أكتوبر. من Verilog إلى Chisel من أجل التحقق السريع من وحدة المعالجة المركزية في مدونة أبريل. التأكيدات المعممة على مجموعات من عمليات المحاكاة للتحقق الأمني ​​في مدونة أيار (مايو). وبعد ذلك بالطبع ، استمرت بعض الأفكار التجريدية في كونها غير محددة المجال: مستوى البوابة إلى C ++ لنمذجة الطاقة على مستوى النظام في مدونة نوفمبر. تغطية لوضع العلامات النصية في مدونة فبراير.

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

نتطلع إلى مواصلة السير العشوائي عبر التحقق مرة أخرى هذا العام!

رأي راؤول

بدون التركيز على أي منطقة معينة ، من يونيو إلى ديسمبر ، تطرقنا إلى العديد من الموضوعات المثيرة للاهتمام في التحقق. الأكثر شيوعًا هما المنطق المضمن للكشف عن التقلبات المقلوبة (أخطاء الأجهزة) وتقييم تسرب قناة جانب الطاقة على مستوى RTL. تناولت ورقة أخرى على مستوى RTL تناسق الذاكرة. على مستوى أعلى ، نظرنا إلى الملخصات على مستوى التعليمات للتحقق منها. كان لدينا أيضًا الأوراق الإلزامية الخاصة بـ ML / NN ، أحدها لإنشاء اختبارات عشوائية زائفة أفضل ، والآخر لبناء نماذج طاقة دقيقة من IP. أخيرًا ، يتعامل اختيارنا لشهر ديسمبر على Concolic Testing للوصول إلى الفروع التي يصعب تنشيطها أيضًا مع زيادة تغطية الاختبار.

أحد المجالات التي نركز عليها في هذه المدونة هو قابلية التسويق. أوراق المنهجية ، والأوراق التأسيسية ، وامتدادات المناهج الحالية والمنافذ الصغيرة جدًا ، كلها غير مؤهلة لأسباب مختلفة. هذا بالطبع ليس له علاقة بالمزايا التقنية. بعض الأبحاث المقدمة جاهزة للتبني ، على سبيل المثال ، استخدام ML / NN لتحسين المهام المختلفة في EDA. القليل منها يدور حول المنهجية ، على سبيل المثال ، البنية التحتية للمحاكاة ؛ بعضها أكثر تأسيسية مثل التجريدات عالية المستوى. البعض الآخر عبارة عن منافذ مثيرة للاهتمام ، على سبيل المثال تسرب القناة الجانبية. لكنهم جميعًا يستحقون البحث وقراءة الأوراق قضيت وقتًا طويلاً!

وجهة نظري

أجرينا ثلاثة مناقشة حية حول المبدأ (إن وجد) الذي أتبعه في اختيار الأوراق. نشرت في منتدى كبير بالتأكيد. كما يقول بول ، لقد كان شيئًا من جولة عشوائية عبر الموضوعات. أود الحصول على اقتراحات من القراء لتوجيه اختياراتنا. بناءً على النتائج ، هناك الكثير منكم ، لكن من الواضح أنك خجول في مشاركة أفكارك. ربما يكون إرسال بريد إلكتروني خاص إلي أسهل - info@findthestory.net.

• أنا مهتم بشكل خاص بالمشكلات الفنية الصعبة التي تواجهها باستمرار
• إذا كنت تستطيع (غير مطلوب) ، تقديم إشارة إلى ورقة حول هذا الموضوع. يمكن نشر هذا في أي منتدى.
• لست مهتمًا بالمشكلات التي تم حلها - كيف استخدمت بعض أدوات البائع لإنجاح شيء ما في تدفق التحقق. إلا إذا كنت تعتقد أن المثال الخاص بك يعرض بعض الإمكانيات المفيدة بشكل أساسي والتي يمكن تعميمها خارج نطاق تطبيقك.

في غضون ذلك ، سنواصل مسيرتنا العشوائية ، مدعومة بالمواضيع التي نسمع أنها لا تزال موضوعية للغاية - فحص التماسك ، والأمن ، والتجريد

شارك هذا المنشور عبر: المصدر: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/