هذه بيان صحفي مدفوع. يرجى التواصل مباشرة مع موزع البيان الصحفي لأي استفسارات.

أعلنت شركة ريل إنتينت عن Conquest MAI — توقيع سلامة المعمارية الدقيقة

ريال إنتينت

الأربعاء، 25 فبراير 2026 الساعة 2:03 صباحًا بتوقيت GMT+9 قراءة لمدة 3 دقائق

ريال إنتينت

تحديد وفحص المكونات الوظيفية القياسية (SFCs) عبر الهيكل أثناء تصميم RTL تلقائيًا

سانيفيل، كاليفورنيا، 24 فبراير 2026 (GLOBE NEWSWIRE) — أعلنت شركة ريال إنتينت، اليوم، عن Conquest MAI، أول أداة في الصناعة لتوقيع سلامة المعمارية الدقيقة. يقوم Conquest MAI تلقائيًا بتحديد المكونات الوظيفية القياسية (SFCs) عبر هيكل التصميم ويجري فحوصات سلامة موضعية.

تدعم قدراته المتقدمة في التصحيح، بما في ذلك مخططات FSM والمخططات التخطيطية للوحدات الوظيفية لـ SFC، فهمًا عميقًا للتصميم واستكشافه طوال عملية التحقق. يجعل إعداد Conquest MAI السريع وأداؤه الفائق السرعة من الممكن دمجه كجزء من توقيع RTL.

الحد الأدنى من الاعتماد على Boolean: تمكين توقيع MAI أثناء توقيع RTL

تعتمد منهجيات المحاكاة والتحقق الرسمي بشكل كبير على تحليل Boolean، وكل منها يحمل قيودًا كبيرة نتيجة لذلك. التحقق الرسمي بطيء ويواجه قيود سعة تحد من التحليل الشامل، بينما تعتبر المحاكاة غير عملية بسبب حجم بنى الاختبار ودوارات التحقق المطلوبة لتحقيق توقيع المعمارية الدقيقة.

يقتصر Conquest MAI على الاعتماد بشكل بسيط على طرق Boolean. يستخدم بشكل رئيسي تقنيات التحقق المجرد والتحليل الخاص بالمشكلة، متجنبًا الحل الكامل لمساحات الحالة Boolean. ونتيجة لذلك، فإن Conquest MAI:

• يعمل بسرعة تتراوح بين 10 إلى 100 مرة أسرع من التحقق الرسمي، مع تحليل مليون بوابة خلال دقائق

• يغطي بشكل شامل التصاميم التي تحتوي على مليارات البوابات خلال ساعات، دون إخفاء التفاصيل

يتيح هذا المزيج للمهندسين دمج سلامة المعمارية الدقيقة كجزء من توقيع RTL.

استنتاج النية الوظيفية لتحديد SFCs

يتمحور Conquest MAI حول قدرته على استنتاج النية الوظيفية مباشرة من RTL لتحديد SFCs تلقائيًا مثل FSM، FIFO، العدادات، المحولات، والذاكرة. يحلل سلوك المنطق لفهم ما ينفذه التصميم، بدلاً من الاعتماد على أنماط تركيبية أو تسميات.

نوايا Conquest MAI للاستنتاج هي:

• غير مرتبط بأسلوب الترميز — يحدد SFCs بغض النظر عن صيغة RTL أو تسميات
• عبر الهيكل — يتعرف على المكونات حتى عندما تكون الوظيفة موزعة عبر الهيكل
• دلالي بدلاً من تركيب — يحدد SFCs المدمجة داخل SFCs أخرى ويكتشف SFCs المكررة التي أنشئت عبر المصفوفات والبنى التوليدية

يؤسس هذا الأساس لتطبيق قواعد خاصة بـ SFC اللازمة لتوقيع سلامة المعمارية الدقيقة.

فحوصات سلامة المعمارية الدقيقة

بمجرد أن يحدد Conquest MAI تلقائيًا SFCs، يمكن للمصممين إجراء فحوصات سلامة المعمارية الدقيقة. تشمل الفحوصات النموذجية:

• مسافة هامينج/وزن حالة FSM — التأكد من أن ترميزات حالة FSM تلبي الحد الأدنى من متطلبات مسافة هامينج والوزن للكشف عن أخطاء تغير البت غير المقصود
• تجاوز أو نقص FIFO — التحقق من أن منطق التحكم في FIFO يمنع الكتابة عندما يكون ممتلئًا والقراءة عندما يكون فارغًا، لتجنب فقدان البيانات أو إرجاع بيانات غير صالحة
• استخدام عداد خارج النطاق — الإبلاغ إذا كان العداد يُقارن بقيم خارج نطاق العداد
• منافذ كتابة RAM المتزامنة — التحقق من أن RAM ذات المنافذ المتعددة للكتابة لا تحتوي على عناوين كتابة متداخلة

تصور SFCs المستنتجة للتصحيح

يطبق Conquest MAI تحليله المستند إلى النية لإنشاء تصورات مرئية تعرض بنية وسلوك كل SFC، مستقلًا عن أسلوب ترميز RTL أو تفاصيل التنفيذ. تشمل الأمثلة:

• مخططات SFC
  • وحدات وظيفية مع علاقات الاتصال والتحكم
  • عروض تخطيطية تقليدية لبنية SFC الداخلية
• مخططات FSM مع الحالات، الانتقالات، إعادة التعيين، وشروط مثل الحلقات الذاتية أو المسارات غير القابلة للوصول
• عارض SFC يُظهر الخصائص ذات الصلة (مثل الساعات، إعادة التعيين…)

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

لمزيد من المعلومات، يرجى زيارة Conquest MAI — توقيع سلامة المعمارية الدقيقة

عن ريال إنتينت

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

الاتصال: وسائل الإعلام، غلوريا نيكولز، LaunchM, Inc. gloria@launchm.com