"على سلسلة EDA" التحقق - الحالي تصميم شركة نفط الجنوب رقاقة لا يطاق "الثقيل"

تصميم رقاقة تعرف باسم الأفضل في تاريخ البشرية هو الأكثر المشروع الطموح، وعدد من العاملين في مجال التنمية رقاقة يحتاج عشرة مليارات الترانزستورات المتكاملة إلى أصغر رقاقة ظفر الحجم. مثل هذا المشروع المعقد، من مرحلة التصميم إلى معقدة، العديد من المناطق في سلسلة مع بعضها البعض، وتشكيل عملية طويلة، تتطلب قطاعات المهنية، ومناطق مختلفة من R & D الموظفين والمهنيين والعلماء من قوة التعاون وفريق المجموعة لضمان أن كل من عالية الجانب دقة. هذه البحوث المتطورة والتنمية والتعاون المشترك بين القطاعات هو المستحيل تماما لاستكمال باليد، يعتمد الباحثون على أداة تسمى جمعية الإمارات للغوص. ودعت اللجنة بالكامل أتمتة التصميم الإلكتروني (ايلى ctronics أتمتة التصميم ) أداة. ومن جاءت هذه الأداة في عام 1983، والإفراج عن الإبداع من المطورين رقاقة، والترقية استكمال التصميم اليدوي أتمتة التصميم الإلكتروني، وبالتالي المساهمة في تطوير تكنولوجيا رقاقة في فترة الانفجار الكبير. الفكرة الأساسية الأصلية

بشكل عام، يتم تقسيم تصميم رقاقة في الخطوات التالية: الفكرة الأساسية الأصلية

1. التعاريف وظائف إلى: - إرسال يتحقق باستخدام لغة وصف الأجهزة غات البرمجة مماثلة (مثل فيريلوج) إلى رقاقة كود "وصف" الأداء الهدف نقل السجل الدائرة رقاقة المستوى (RTL، سجل مستوى نقل) تصميم لتحقيق النهائي وظيفة. الفكرة الأساسية الأصلية

2. التحقق (التحقق): ما إذا كان رقاقة الدائرة لتحقيق سلوك وأداء الأهداف المرجوة . الفكرة الأساسية الأصلية

3. تصميم منطقي (التجميعي): وصف سلوك الدائرة مجردة (الأجهزة وصف اللغة) لوصف الترجمة الآلية على مستوى الدائرة (دائرة المنطق) . جوهر

4. التنفيذ المادي (تنفيذ البدني): تحويل مخطط الرسم البياني المنطق في اتصالات فعلية، أو يبلغ عددها مئة مليار مليارات المكونات وتخطيط الدوائر السليم والسماح لتتداخل مع بعضها البعض . الفكرة الأساسية الأصلية

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

الخطوات المذكورة أعلاه يتم الانتهاء، يمكن للرقاقة يكون تصنيع رسميا، واختبار والتعبئة والتغليف. الفكرة الأساسية الأصلية

أحدث عروض تقرير البيانات إلى أن تصميم رقاقة الجزء الحالي من تكلفة واحدة من أكثر التقنيات المتقدمة كانت أعلى من 400 مليون $ (انظر أدناه). هذه التكلفة العالية لتطوير رقاقة لذلك انخفض أن التسامح مع الخطأ إلى نقطة التجمد، وبالتالي تصميم رقاقة عدة وصلات في "التحقق"، أصبحت ذات أهمية متزايدة. الفكرة الأساسية الأصلية

يطلع ورقة مناقشة حول أهمية التحقق. الفكرة الأساسية الأصلية

رقاقة لS درجة مئوية تصبح أدوات التحقق من السن لا غنى عنها الفكرة الأساسية

و(نظام SoC- على رقاقة) النظام على رقاقة المعالج الدقيق، النوى IP التناظرية، الأساسية IP الرقمي والذاكرة (أو خارج رقاقة الذاكرة واجهة التحكم) متكاملة على شريحة واحدة، ورقاقة حاليا في التيار الرئيسي. SOC ظهر هذا المفهوم في 1990s، وبعد ما يقرب من 30 عاما من التنمية، شركة نفط الجنوب يمكن أن تكون متكاملة المزيد والمزيد من المحتوى، ويزيد عدد الترانزستورات، وظائف أكثر وأكثر تنوعا، مما يجعل من مبدأ تصميم يصبح معقدا. وليس من المبالغة أن نقول إن تصميم شركة نفط الجنوب للمجهزة تجهيزا كاملا، R ذوي الخبرة وفريق D، تحتاج أيضا 3--5 سنوات لاستكمال جميع أعمال التنمية. الفكرة الأساسية الأصلية

ارتفاع أولا مليار دولار مسجلة (Tapeout) تكلفة، وتكاليف لا رجعة فيها الوقت اللازم لتطوير، مما أدى في كل جانب من جوانب تصميم رقاقة لا يسمح خطأ صغير، ومع شركة نفط الجنوب ورث تعقيد المحتوى وزيادة، واحتياجات التحقق من يكتشفها الفضاء وزيادة نطاق وكل التحقق يشبه "إبرة في كومة قش"، وبالتالي فإن الوقت اللازم للتحقق يزداد أيضا لفترة أطول. أدوات التحقق EDA بالفعل في ضرورية، وتحقق بشكل كامل معدل نجاح رقاقة هو أعلى. الفكرة الأساسية الأصلية

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

ثانيا، كرر التحقق - في جميع أنحاء تصميم عملية التحقق رقاقة الفكرة الأساسية الأصلية

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

هذا الرقم وفقا للوقت في عملية التنمية رقاقة، ويوضح كل من التحقق من صحة الجانب: الفكرة الأساسية الأصلية

تخطيط المنتج

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

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

2، تعريف المخطط

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

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

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

3، مسجلة الجبهة

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

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

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

4، تسارع

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

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

لحل هذه المشكلة، والآن الشركة قد أطلقت الأجهزة EDA مسرع (المحاكي)، مسرع الأجهزة بين سرعة المحاكاة وقابلية الملاحظة المقايضات، سرعة أقرب إلى التحقق النموذج، والتوجه الجنسي يمكن ملاحظتها منافس قريب، في محاكاة إضافة التحقق بين المنتجات والنماذج، ولكن بسبب الأجهزة هيكل مسرع خاص، يمكن باهظة الثمن، وإلا شريحة أرباح سخية نسبيا إلا الشركات الكبيرة تحمله. الفكرة الأساسية الأصلية

بعد التحقق مسجلة

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

ثلاثة التحدي، تكنولوجيا التحقق الفكرة الأساسية الأصلية

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

ل5G، بيانات كبيرة، والقيادة الذكية، الأشياء التي تمثلها الأسواق الناشئة لنوع وعدد من رقائق لها النمو المتسارع. ولكن وراء النمو هو ارتفاع الطلب على دورة تطوير شركة نفط الجنوب. كيفية بذل المزيد من التحقق في أقل وقت التطوير؟ أولا، أدوات التحقق لتعزيز التدرجية، بحيث أصبح التحقق "تسليم المفتاح" المشروع نفسه، والثاني هو لجعل التصميم نفسه لديه شكلي لتطبيق سيناريوهات مختلفة، يمكنك ترقية البرامج الثابتة أو أسفل لينة، أو من قبل الأجهزة إعادة الإعمار في حل المشكلة. الفكرة الأساسية الأصلية

1، وأدوات تطويره

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

2، والحذف التحقق من صحة معايير

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

المعالجات الدقيقة (MPU) شركة تصميم، لديه مخصصة محاكاة مجموعة التعليمات لمحاكاة هيكل (وISA)، وهذا كمعيار التحقق من الصحة. ولكن بسبب تصميم شركة نفط الجنوب ويشمل مختلف وحدات وظيفية التصميم ويتطلب المعيار أيضا عبر وحدة، ومضاهاة تعليمات بسيطة ليست كافية للتحقق من صحة هذا تصميم رقاقة، مما يسمح أي وسيلة للتحقق من تعريفات والمراجع القياسية. الفكرة الأساسية الأصلية

3 والمستخدمة على نطاق واسع، وانخفاض الطاقة

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

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

لتصاميم المنخفضة للطاقة، مجموعة العشرات من المجالات الجهد والآلاف من وضع الطاقة هو سلوك شائع جدا، التحقق من الحاجة للتأكد من أن السلوك تخطيط الدائرة صحيحة في جميع وسائل القوة والتعقيد وتحميل برهان ويمكن أن يتصور. الفكرة الأساسية الأصلية

4، لتحسين شروط السلامة للرقاقة

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

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

كل هذه المتطلبات سلامة عالية هي للتحقق تحديا جديدا. الفكرة الأساسية الأصلية

5 والأجهزة والبرمجيات شارك في التحقق التحدي

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

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

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

أربعة الفجوات المحلية "قلق"

وعلى الرغم من العقد الماضي، كانت أدوات EDA المحلية بعض النجاحات، ولكن علينا أن معالجة الثغرات. وينعكس الفجوة بشكل رئيسي في أربعة مجالات هي: الأيديولوجية الأساسية

1. عدم وجود رقاقة رقمية وحدة أداة تصميم أساسية، لا يمكن أن تدعم العملية برمتها من تصميم رقاقة رقمية. الفكرة الأساسية الأصلية

2. لا يكفي لدعم التكنولوجيا المتقدمة، بالإضافة إلى الفردية أداة ثلاثة وعشرين يدعم 14 نانومتر، وبعد 7 نانومتر، 5 نانومتر، والكثير من الأدوات الأخرى يمكن القيام به. الفكرة الأساسية الأصلية

3. عدم وجود تصنيع والتعبئة والتغليف IC واختبار نظام EDA، غير قادر على دعم تصنيع الرقائق والتعبئة والتغليف واختبار المصنعين من التطبيقات. الفكرة الأساسية الأصلية

4. أدوات التحقق الأساسية ومنصة التحقق مفقود، ليس هناك كاملة EDA سلسلة الأداة. الفكرة الأساسية الأصلية

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

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

عمالقة EDA الدولية الراهنة أساسا في المحاكاة الديناميكية، تسارع، يمكن أن توفر حلا كاملا للتحقق النموذج والتحقق الرسمي، وأيضا لتحسين الكفاءة من خلال تطبيق المنهجيات والتقنيات المتطورة الطبقة المقبل. الفكرة الأساسية

ومعظم أدوات EDA، الاحتياطيات الفنية في أداة التحقق من صحة الصين هي تقريبا "الصفر" في السنوات الأخيرة، وشركات EDA المحلية لها لاستكشاف على التحقق، ولكن تتركز على المنتجات بشكل رئيسي في تنفيذ الخلفية واختبار المرحلة رقاقة، عملية شركة نفط الجنوب التحقق من تصميم عبء أثقل، وهو أعلى معدل استخدام الدوائر المتكاملة الرقمية التحقق جناح أداة EDA، التكنولوجيا المحلية لا تزال "صفر"، وشركات تصميم رقاقة المحلية في تطوير شركة نفط الجنوب، لا يزال 100 عمالقة الدولية ذات الصلة من أدوات التحقق EDA.

خامسا، ملخص

وأكد على أهمية التحقق (التأكيد) (التحقق) ونحن لن "لا يمكن أن تخطئ"، وهو التحقق من الألم، لذلك يمكننا أن نقرر فقط عندما يكون "لا فرصة قريبة بما فيه الكفاية للخطأ"، وبعد ذلك بدأ لمعايير موضوعية وعملية مفاضلة بين المذهب. الفكرة الأساسية الأصلية

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

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

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

END

الطاقة ترقيات التكنولوجيا الحصاد، وإخراج حرارة البطارية في درجة حرارة الغرفة تجاوز 100 بالسيارات

قراءة مادة واحدة يمكن ارتداؤها سوق للحيوانات الاليفة الذكية

UAV البريد السريع، متى يمكنك يطير المنزل؟

50 نماذج البيانات الكبيرة تحليلات قطعة أثرية: كنت في الواقع لا يزال باستخدام إكسل

قم باستيراد ملايين البيانات من MySQL إلى Redis بكفاءة

تعلم الخريطة المعرفية للمقابلة في اتجاه البيانات الضخمة "التي تستحق التجميع"

اختيار حالة | عصر البيانات الكبيرة والمشاريع كيفية "بيانات" في "الفوائد"؟

تلخص 2020 البيانات الكبيرة الاتجاهات تعلم أكبر عدد من النقاط المعرفة الشاملة!

للمبتدئين كيف يجهل إدخال البيانات الكبيرة؟

نفس جافا، HDInsight مختلفة تماما تجربة التنمية البيانات الكبيرة

ما هي التحديات التي تجلبها البيانات الضخمة للبحوث الاجتماعية؟

هل تريد الانضمام إلى تطوير البيانات الكبيرة، لماذا مؤسسات التدريب والتعلم البيانات الكبيرة أكثر كفاءة؟