في المراحل الأولى من تصميم رقاقة، حول 1970s، وعندما المهندسين جعل تصميم رقاقة، سنقوم أولا كتابة المعادلة المنطق، ثم استخدم خريطة كارنوف لحد المنطق يدويا. ثم، في وقت مبكر 1980s بدأ الجيل الأول من تصميم منطقي، وقراءة في netlist على مستوى البوابة، والمنطق التنفيذ لتبسيط، ومن ثم إخراج netlist أصغر على مستوى البوابة. ثم، تصميم منطقي يزيد من القدرة على التحرك netlist مستوى بوابة من مسبك للمسبك آخر. في أواخر 1980s، RTL تصميم منطقي تسمح للمصممين لكتابة رمز فيريلوج، ومن ثم تولد netlist على مستوى البوابة. منذ ذلك الحين، تم صناعتنا تبحث عن تصميم أكثر كفاءة من طريقة RTL الترميز، منذ أعلى مستوى دخول تصميم فوق RTL دخول يمكن محاكاتها بشكل أسرع.

ومن المسلم الرفيع المستوى التجميعي (HLS) الآن كنموذج تصميم والمهندسين كونيكا مينولتا وقد تم استخدام C ++ وتصميم لغة الدخول، في حين أن تصميم الأجهزة الطرفية متعددة الوظائف والطابعات الرقمية المهنية ومعدات الموجات فوق الصوتية الطبية وغيرها من المنتجات.

كما يلي عملية التصميم كما يستخدمه C ++ الأصلي، وذلك باستخدام معلمه المنجنيق الوقت أداة المحاكاة إلى 100 مرة أسرع من RTL:

C ++ حتى مع هذه العملية، وهناك بعض الخطوات والأسئلة مثل إضافية:

• يدويا التحقق من التعليمات البرمجية خوارزمية يأخذ الكثير من الوقت.
• مدونة التغطية استخدام GCOV لا يمكن أن يكون لا يمكن التعبير عنها فهم شامل من التعليمات البرمجية C ++، والتحول وتحليل التغطية وظيفية.

عائلة المنجنيق C ++ من الأدوات ليست فقط شاملة، وذلك بإضافة المزيد من هذه الأدوات، مثل التالية هي مظللة باللون الأخضر:

دعونا نوضح بعض صناديق يقومون بمزيد من التفصيل:

• المنجنيق مدقق التصميم - الترميز كشف الخلل باستخدام ثابت والمناهج الرسمية.
• المنجنيق التغطية - C ++ تحليل التغطية، مع العلم عن الأجهزة.
• التأكيد التجميعي - الجيل السيارات من تأكيدات في RTL.
• SCVerify - يخلق اختبار الدخان، ومجموعات تصل شارك في محاكاة C ++ وRTL، مقارنة الاختلافات.
• Questa CoverCheck - يجد كود قابلة للوصول باستخدام تحليل شكل تغطية RTL

تحقق رمز C ++

لذلك، يبدو عملية التحديث هذه الآلية جدا، ولكن لا تزال هناك مشاكل. على سبيل المثال، لا يتم توقيت C ++، وجود دورة على مدار الساعة مفهوم RTL، وبالتالي عدم تطابق يمكن أن تحدث أثناء المحاكاة RTL. المنجنيق مدقق التصميم في اللعب هنا، عند تشغيل على كونيكا مينولتا العديد من التصميم، وأداة 20 حول الانتهاكات مجموعة الكشف عن قراءة ملزمة (ABR) قواعد، حيث مؤشر مجموعة هو خارج الحدود. وهذا مثال من ABR الانتهاك:

الحل لهذه المشكلة هو أن تضيف تأكيدات في التعليمات البرمجية C ++:

استخدام C ++ تأكيد، سوف تشاهد أي مخالفات خلال المحاكاة، والبولندي التأكيد التجميعي لإضافة الرموز المستخدمة خلال RTL الاختبار هو مبين أدناه.

تغطية كود

المنجنيق التغطية (CCOV) أداة للأجهزة والأدوات وGCOV الخام ليست كذلك، وبالتالي CCOV دعم ما يلي:

• بيان
• فرع
• التعبير تركيزا
• المدى مؤشر
• تغطية تبديل

ولكن لا تزال هناك مشكلة كبيرة، والتغطية C ++ RTL والتغطية الفعلية لمدى قرب؟ SCVerify تصميم أداة 10، وتقارير النتيجة بالمقارنة مع تغطية فرع، كما هو موضح أدناه ترتبط ارتباطا وثيقا التغطية متوسط من التقرير 97، والتغطية فرع CCOV من 93.

كود بعيد المنال

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

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

خلال التحقق رفيع المستوى، المهندسين LSI تحاول الوصول إلى أهداف التغطية، فإنها يمكن أن يطلب من المطورين خوارزمية لإضافة المزيد من الاختبارات. في المستقبل، يمكن للمطورين استخدام خوارزمية لتنفيذ مدونة التغطية CCOV، في حين المهندسين LSI لتحقيق إغلاق باستخدام أداة RTL المنجنيق المتبقية.

استنتاج

على مر السنين، فريق تاكاشي Kawabe كونيكا مينولتا بنجاح استخدام الأداة المنجنيق C ++ في عملية من أجل تقديم المنتجات إلى السوق بشكل أسرع من الطريقة التقليدية RTL الإدخال. باستخدام المنجنيق مجموعة كاملة من الأدوات، سرعة محاكاة هم في C ++ مما كانت عليه في مستوى RTL 100 مرة أسرع، وأثبت C ++ signoff مستوى الآن تمكنت من تحقيقه.

تحميل ورقة بيضاء

فهم أكثر تفصيلا يمكن تحميل ورقة بيضاء.

انقر لمعرفة المزيد من تحميل