سينوبسيس تمنح التحقق من الشريحة إلى وكلاء الذكاء الاصطناعي المستقلين

أعلنت سينوبسيس في 26 يوليو 2026 أنها بنت وكيل تحقق التصميم قادر على تشغيل دورة التحقق الكاملة للشريحة دون سائق ، وأنه النظام يصل إلىRTL المُحقق حتى 50 مرة أسرع مع تحقيق تحسين إضافي بنسبة 20٪ في الغطاء. أعلنت الشركة العمل في مؤتمر Design Automation في لونغ بيتش ، كاليفورنيا ، حيث تقدم التدفق لأول مرة. لا شيء يتم شحنه بعد. العملاء يقيمون القدرات الآن ، مع خطط للتوافر في النصف الثاني من 2026 ، وهو نافذة بدأت بالفعل.

يجمع الوكيل بين تقنية سينوبسيس AgentEngineer مع حزمة NVIDIA (NVDA ) العاملين: أداة NVIDIA Agent ، نموذج Nemotron 3 Ultra المفتوح ، وطبقة التصفية التي تدعوها NVIDIA OpenShell runtime. يطيل وكيل المنظم أهداف التحقق من المواصفات ، التصميم ، مستودع الاختبار الحالي والمدخلات الهندسية ، ثم يرسل وكلاء متخصصين عبر توليد خطة الاختبار ، وإغلاق الغطاء والتصحيح. إغلاق الغطاء هو الخطوة التي يثبت فيها الفريق أن اختباراته قد تمارس المنطق بالفعل ، ووصفها سينوبسيس بأنها واحدة من أكبر العوائق في العملية.

أرقام التعجيل هي أرقام البائعين الخاصة

تأتي كل رقم أداء هنا من الشركات التي تبيع الأدوات ، والأسس رقيقة. تتمتع مطالبات 50x و 20٪ بملاحظة تشير إلى مقارنتها بـ “تدفقات التحقق التقليدية غير المزودة بتقنية AgentEngineer” ، بدون تصميم مسمى ، بدون عقدة عملية وبدون ساعات مهندس. تقوم المطالبة التناظرية ، حتى 3 أضعاف الإنتاجية لمسار الإشارة المختلطة الذي يُorchestrated بواسطة نفس التكنولوجيا ، على ملاحظة تقريبا تعيد صياغة نفسها.

أربعة أشهر قبل ذلك ، في مؤتمر Converge الخاص به في 11 مارس 2026 ، وصف سينوبسيس نسخة أقل استقلالية من نفس الفكرة ، تدفق تصميم وتصميم متعدد الوكلاء “L4” ، ووضع المكاسب عند 2x الإنتاجية مع ما يصل إلى 5x في الحالات المختارة. لاحظ الإصدار أيضًا أن التصميم الأمامي للنظام على الشريحة الكبيرة يحتوي عادة على فريق التحقق لمدة أربعة إلى ستة أشهر. ليست المقاييس متطابقة ، ولكن المسافة بين 2x في مارس و 50x في يوليو هي واسعة بما فيه الكفاية لترغب في أرقام قبل وبعد العملاء الخاصة قبل معاملتها على أنها محسومة.

لا توجد مساعدة من الاختبار المستقل. يحتوي سيليكون التدريب والاستدلال على MLPerf ، تنسيق تقديم مشترك مع جدول نتائج عام ؛ تدفقات التصميم العاملين لا توجد لها معايير سجلات على الإطلاق. تقوم مطالبة NVIDIA المجاورة ، بأن Nemotron 3 Ultra يؤدي قيادة النماذج المفتوحة على ترميز مستوى النقل التسجيلي ، بالاستناد إلى معيار تنشره NVIDIA ، ويتم قياسه باستخدام وكيل بناه NVIDIA Research. يواجه الشركات الناشئة التي تلاحق نفس السوق ، من بينهم Chipmind ، الذي أطلق من التخفي لاعادة تعريف تصميم الشريحة حول وكلاء الذكاء الاصطناعي ، نفس فجوة الأدلة.

حيث ي chạy التحقق من حمولة EDA بالفعل

النصف الثاني من الإعلان أقل حول الوكلاء وأكثر حول الأجهزة. تقول سينوبسيس إن أكثر من 20 من منتجاتها EDA ومتعدد الفيزياء تم تعزيزها الآن بواسطة GPU. وتفيد بأن محاكاة الدائرة في PrimeSim SPICE تعمل بمقدار 18 مرة أسرع في الوقت الإجمالي على وحدات معالجة الرسومات NVIDIA مقارنةً بالتشغيل على وحدة المعالجة المركزية فقط ، وتسريع 10 مرات لمحاكاة الكهرمغناطيسية في Ansys Lumerical ، وصولاً إلى 50 مرة لمحاكاة الكيمياء الكمومية في QuantumATK باستخدام مكتبة cuEST من NVIDIA.

هذا كتلة كبيرة من الحوسبة الهندسية المتحركة من وحدات المعالجة المركزية إلى أجهزة NVIDIA داخل منازل التصميم التي تبني المعززات. يضيف إعلان NVIDIA الخاص إلى مكتبة cuISS Sparse-Solver إلى مجموعة CUDA-X الخاصة به ، ويقول إن محاكي VCS من سينوبسيس يتم ضبطه لمعالج Vera الخاص به. الأدوات التي تصمم الجيل التالي من سيليكون الذكاء الاصطناعي تعمل بشكل متزايد على سيليكون الحالي.

أظهرت سينوبسيس أيضًا تدفقًا مستقلًا لتحليل الحرارة الإلكترونية ، مبني على Ansys Icepak ، أداة محاكاة التبريد التي حصلت عليها في استحواذ Ansys ، بالإضافة إلى مكتبات PyAEDT المفتوحة المصدر. يتعامل مع إعداد المحاكاة والمعالجة قبل وبعد غير مراقبة. يسمي وصف NVIDIA للعمل نفسه تطبيقًا أكثر وضوحًا: تحسين تصميم تبريد GPU.

كل بائع EDA اختر شريكًا واحدًا

يستشهد إعلان NVIDIA بكادنس ، سيمنز ، سامسونج ، كيزايت ، سيلفاكو و TSMC إلى جانب سينوبسيس. يُ归ت تدفق التغليف واللوحة لكادنس بتحقيق أداء متعدد الفيزياء أسرع 20 مرة. تقول سيمنز إن تدفقات الوكلاء تقلل من وقت تمييز المكتبة أكثر من 10 مرات مع تقليل تكاليف الرموز بنسبة مماثلة. تقارير سامسونج حتى 20 مرة على Литографиа الحاسوبية باستخدام cuLitho. جميع ثلاثة بائعين EDA الرئيسيين ربطوا قصص الاستقلالية الخاصة بهم بنماذج ومكتبات ووقت تشغيل نفس المورد في نفس اليوم.

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

سؤال التوزيع له ما يُكسبه الأكثر. Nemotron هو نموذج مفتوح الوزن يمكن أن يُدرّب بعد ذلك على بيانات خاصة ويعمل محليًا ، وهو نقطة يصرّح بها NVIDIA صراحة. RTL هو واحد من أكثر الملكية الفكرية حمايةً التي تمتلكها شركة الشريحة ، قيمةً بدرجة كافية لتقييم الحكومات تقييد تصديرها. يحتاج وكيل التحقق المستقل إلى التصميم بأكمله للقيام بعمله. ما إذا كان يمكنه القيام بذلك داخل جدار الحماية الخاص بالعميل ي决定 من يمكنه استخدامه على الإطلاق.