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

تعاون أكيانا مع أكسيوميز للتحقق الرسمي من نواتها

شركة أكسيوميز المحدودة

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

التحقق من النوى الفائقة مع ضمانات رسمية

**لندن، المملكة المتحدة / أخبار ACCESS / 24 فبراير 2026 / **أكدت شركة أكيانا، المزود الرائد لحقوق ملكية RISC-V، أن شراكتها مع أكسيوميز كانت حاسمة في التحقق الرسمي من شريحة الاختبار المتقدمة RISC-V فائقة السعة Alpine. تضمن التعاون تحليل جميع الحالات الحديّة الوظيفية وPPA (الطاقة، الأداء، المساحة) بشكل شامل قبل إصدار السيليكون النهائي.

تعد Alpine لوحة تطوير سيليكون/برمجيات ذات نواة عالية الأداء غير مرتبة، وتتطلب نهج تحقق قوي. “خلال بضعة أشهر من تعاوننا، لم تكتفِ خبرة أكسيوميز في التحقق الرسمي بتحديد المشكلات الوظيفية فحسب، بل وأيضًا المنطق الزائد المحتمل، وهو ما لم نتوقعه. أظهر مزيج أدواتهم الآلية ومعرفتهم العميقة بالمجال أن التحقق الرسمي سيظل تقنية تحقق قيمة بالنسبة لنا في المستقبل”، يقول نيتين راجموهان، المؤسس المشارك لشركة أكيانا.

تدمج منهجية أكسيوميز خبرة عميقة في التحقق الرسمي مع تطبيقاتها الخاصة، مثل formalISA®، footprint®، و floatrix®، المدعومة بواسطة CoreProve® المصممة لتحقيق تقارب كامل للأدلة باستخدام أدوات EDA التجارية لتوفير توقيع التحقق الرسمي من النهاية إلى النهاية. من خلال دمج الأتمتة المتقدمة مع التحليل بقيادة الخبراء، تقدم الفريق نتائج مثبتة رياضيًا تضمن عدم تفويت أي خطأ قبل وصول RTL إلى السيليكون. يتيح هذا النهج التغطية من وحدات التصميم الفردية إلى التحقق الكامل للرقاقة، مع توفير رؤية إضافية للمناطق الحساسة لـ PPA.

“يسعدنا العمل مع أكيانا لتحقيق تغطية شاملة لنوىها فائقة السعة”، يقول الدكتور أشيش داربارى، الرئيس التنفيذي لأكسيوميز. “يوفر التحقق الرسمي ضمانات بأن كل حالة حديّة يتم تحليلها. من خلال دمج خبرتنا العميقة في التحقق الرسمي و footprint، نستطيع تقديم رؤى عبر مقاييس الوظائف والأداء والمساحة، مما يضمن أعلى جودة للتحقق من تصاميم RISC-V الجيل القادم.”

تشمل إنجازات أكيانا الأخيرة إصدار Alpine، لوحة تطوير سيليكون/برمجيات ذات نواة عالية الأداء غير مرتبة، بتقنية 4 نانومتر. يمثل المشروع علامة فارقة مهمة لاعتماد RISC-V عالي الأداء ويبرز الدور الحاسم للتحقق الرسمي في تصميم SoC الحديث.

عن أكيانا

أكيانا هي قوة دافعة للتغيير في ابتكار وأداء حقوق ملكية أشباه الموصلات، وتتمحور مهمتها حول تقديم حلول حقوق ملكية حوسبة، وتوصيل، ومعززات ذكاء اصطناعي تعتمد على RISC-V على مستوى عالمي. يقع مقرها في سانتا كلارا، كاليفورنيا، وهي شركة ناشئة مدعومة بالتمويل الاستثماري، وتكرس جهودها لتمكين العملاء من خلال تكنولوجيا قابلة للتخصيص وخيارات ترخيص عادلة، متجاوزة قيود البائعين والعمارات القديمة الحالية. مع فريق من المهندسين ذوي الخبرة، تتصدر أكيانا مجال حقوق ملكية أشباه الموصلات سهلة التحسين. يعكس سجل براءات الاختراع المتزايد التزامها بتلبية احتياجات وتحديات الصناعة المتطورة باستمرار. بدعم من مستثمرين مرموقين، بما في ذلك Kleiner Perkins، Mayfield، وFidelity Ventures، تعيد أكيانا تعريف الممكن في الميكروكنترولر، الحوسبة المحمولة، السيارات، مراكز البيانات، والحوسبة السحابية. البريد الإلكتروني: sales@akeana.com.

متابعة القصة  

عن أكسيوميز

تسرع أكسيوميز اعتماد التحقق الرسمي من خلال مزيج فريد من الاستشارات، والخدمات، والتدريب، وحلول البرمجيات المخصصة. يقع مقر أكسيوميز في المملكة المتحدة، وأسستها الدكتورة أشيش داربارى (FBCS، FIETE، دكتوراه من أكسفورد) والدكتورة فيديا تشاندران داربارى (دكتوراه من كامبريدج، MBBS، MRSB، FHEA). خلال السنوات الثماني الماضية، ساعدت أكسيوميز أكثر من 20 عميلًا من خلال تدريب أكثر من ألف مهندس، ومساعدة بعض أكبر الأسماء في تصميم السيليكون من خلال استشاراتها وخدماتها وتطبيقاتها المخصصة.

تواصل مع أكسيوميز عبر:

الموقع الإلكتروني: www.axiomise.com
تويتر: @axiomise
لينكدإن:

أكسيوميز، CoreProve، footprint، formalISA، floatrix، وشعار أكسيوميز هي علامات تجارية لشركة أكسيوميز المحدودة، المملكة المتحدة.

لمزيد من المعلومات، اتصل بـ:

فابيانا موتو
العلاقات العامة لأكسيوميز
+44 1442 345 046
fabiana.muto@axiomise.com

المصدر: شركة أكسيوميز المحدودة.

عرض البيان الصحفي الأصلي على ACCESS Newswire

الشروط وسياسة الخصوصية

لوحة تحكم الخصوصية

مزيد من المعلومات