لقد مر أكثر من عام بقليل منذ أن أجريت مقابلة مع الدكتور أشيش درباري ، المؤسس والرئيس التنفيذي لشركة بديهية. لقد كنت أراقب Ashish وزملائه ، وفوجئت عندما علمت أنهم احتفلوا مؤخرًا بالذكرى السنوية الخامسة لهم كشركة. اعتقدت أن هذا سيكون وقتًا مناسبًا للحاق به لمعرفة ما حدث على مدار العام منذ تحدثنا ومعرفة المزيد عن السنوات الخمس الماضية.
أشيش ، مبروك بلوغك خمس سنوات! هل يمكنك تلخيص رحلتك؟
شكرا لك دان. إذا اضطررت إلى اختيار كلمة واحدة فقط ، فسيكون ذلك "رائعًا". عندما أنشأت Axiomise في أكتوبر 2017 لتقديم خدمات التدريب والاستشارات حول التحقق الرسمي ، كان ذلك لأنني كنت أعرف أن هناك فجوة كبيرة في الحلول والمنهجيات الصناعية المتاحة ، وبالتالي هناك حاجة كبيرة وفرصة كبيرة. لكن يجب أن أقول إن السنوات الخمس الماضية قد حققت أو تجاوزت كل توقعاتي. استجاب العملاء بحماس وقدموا لنا الأعمال التجارية للنمو والازدهار. أنا ممتن جدًا لدعمهم ، وعلى الاهتمام الذي أظهرته أنت والآخرون في مجتمع أكاديمية الإمارات الدبلوماسية في شركتنا.
كيف تطورت اكسيوميز منذ آخر مرة تحدثنا فيها؟
كان عام 2022 مذهلاً بالنسبة لنا. كبداية ، كنا ننمو كشركة. انضم Gurudutt (GD) Bansal كمدير للعمليات وانضم Neil Dunlop كمدير تقني. لقد كانوا شركاء رائعين في نقل أعمالنا إلى المستوى التالي. افتتحنا مكاتب جديدة في Hemel Hempstead ، خارج لندن مباشرة ، مع مساحة لمزيد من أعضاء الفريق للمضي قدمًا.
أرى على ويكيبيديا أن هيميل هيمبستيد كانت قرية منذ أكثر من 1000 عام ومنحها هنري الثامن ميثاقها للمدينة عام 1539. إذن أنت جزء من هذا التقليد الأوروبي العظيم المتمثل في القيام بعمل تقني متطور في أماكن تاريخية؟
هذه طريقة لطيفة للنظر إليها. تعد المملكة المتحدة موقعًا رائعًا لشركة خدمات. يمكننا العمل مع آسيا في صباحنا ، ومع أمريكا الشمالية في فترة ما بعد الظهر ، ومع أوروبا طوال اليوم. لدينا قاعدة عملاء عالمية ، وهذا جزء من قصتنا المذهلة.
بالحديث عن توسيع نطاقك ، أرى أنك انضممت مؤخرًا إلى تحالف ESD. ما هو الدور الذي سيلعبه ذلك في مستقبلك؟
كجزء من مجتمع SEMI Technology ، يرتبط تحالف ESD ارتباطًا وثيقًا بصناعة أشباه الموصلات ، وهذا هو المكان الذي يتواجد فيه عملاؤنا. لذا فقد أصبحنا جزءًا لا يتجزأ من النظام البيئي للرقاقات ، ونعمل بالفعل على التواصل ، وإجراء الاتصالات ، وإقامة العلاقات التي ستساعدنا على النمو أكثر. فوائد العضوية تعمل في كلا الاتجاهين. إن ESD Alliance هو صوت صناعة EDA ، ونشعر أن أي شركة ناجحة يجب أن تكون جزءًا منها وأن ترد الجميل للمجتمع من خلال تبادل الخبرات وتقديم المشورة لزملائنا الأعضاء.
أحد الأشياء التي أثارت إعجابي بك شخصيًا هو قدرتك على العمل كمتحدث رسمي عن الصناعة أثناء إدارة شركة والقيام بأعمال التحقق العملي. هل واصلت نشاط التحدث الخاص بك في عام 2022؟
يا إلهي نعم. لقد كانت سنة مزدحمة حقًا على هذه الجبهة. ربما كان أكبر نشاط في ملفي الشخصي هو المشاركة في لوحة "أولئك الرهيبون" في مؤتمر أتمتة التصميم (DAC) في سان فرانسيسكو. قاد بريان بيلي من هندسة أشباه الموصلات مناقشة حية حول ما إذا كان من الممكن القضاء على جميع الأخطاء من تصميمات الرقائق. بالطبع ، لا توجد فرصة لحدوث ذلك دون أخذ دور قيادي رسمي. يتوفر مقطع فيديو للوحة على الإنترنت وأعتقد أنه يستحق المشاهدة.
[المحتوى جزءا لا يتجزأ]
أيضًا في DAC ، تحدثت عن "ترويض الوحش: التحقق الرسمي من RISC-V أصبح أمرًا سهلاً" في مسرح الإيقاع. شرحت كيف يتم التحقق من نوى معالجات 32 بت و 64 بت من خلال التحقق الرسمي باستخدام تطبيق Axiomise formalISA. يتوفر أيضًا مقطع فيديو لهذا الحديث. من فضلك أشكر زميلك دانيال باين على تغطية أنشطة DAC لدينا.
[المحتوى جزءا لا يتجزأ]
انضممت إلى لوحة "SoC Leaders Verify with Synopsys" في حدث Synopsys Users Group (SNUG) و تسجيل من ذلك عبر الإنترنت أيضًا. في DVCon Europe في ميونيخ ، ظهرت على لوحة "تحديات تصميم شرائح الجيل الخامس وتأثيرها على التحقق." في ميونيخ أيضًا ، قدمت "تسريع التصحيح والتوقيع لمعالجات RISC-V باستخدام التحقق الرسمي" في إيقاع لايف أوروبا. أخيرًا ، ناقشت كيف يمكن رسميًا معالجة السلامة والأمن بالإضافة إلى التحقق الوظيفي في حدث رسمي لنادي الإيقاع في المملكة المتحدة
يشارك فريق Axiomise في جميع أنواع الأحداث. شكرًا لزميلك GD على القيام بـ بودكاست معي في وقت سابق من هذا العام. يبدو أن فورية ومباشرة البودكاست تعمل بشكل جيد لشرح الموضوع الرسمي الذي يحتمل أن يكون مخيفًا. هل فعلت الاخرين؟
كان من دواعي سروري أن أسجل "سمك مقلي"مع أميليا دالتون من مجلة EE Journal عن" فن التنبؤ "والأركان الثلاثة للتحقق الرسمي. في الواقع ، أحب البودكاست كثيرًا لدرجة أنني أمتلك ملفاتي الخاصة سلسلة وسجلنا الآن 50 حلقة.
هذا مثير للإعجاب حقًا. لا أستطيع أن أتخيل كيف يمكن أن تجد الوقت. أنت تكتب قليلاً أيضًا ، أليس كذلك؟
نعم ، لقد نشرت مقالات هذا العام في EDN مجلة و تصميم الإلكترونية مجلة. نقوم أيضًا بعمل ندوات عبر الإنترنت ومستندات تمهيدية والمزيد. يمكنك الذهاب إلى قائمة Knowledge Hub على موقعنا موقع الكتروني للحصول على قائمة كاملة.
بالتأكيد كل هذا النشاط الخارجي لا يمنعك من الاستمرار في الابتكار بشكل رسمي؟
ليست فرصة. يعد التحدث والكتابة أمرًا ممتعًا ، ولكن العمل مع عملائنا هو ما يبقينا في العمل. إنهم يصممون ويتحققون من بعض أكبر وأسوأ الرقائق في العالم ، لذا فهم يدفعون باستمرار حدود التكنولوجيا الرسمية. ليس لدينا خيار سوى الابتكار باستمرار ، وهذا جزء كبير من القيمة التي نقدمها للصناعة.
كما ترون من بعض محادثاتنا ومقالاتنا ، كان أكبر ابتكاراتنا هذا العام هو توسيع حلنا للتحقق من RISC-V. لقد أعلنا عن هذا في أواخر العام الماضي ومنذ ذلك الحين ونحن مشغولون للغاية في مساعدة العملاء على التحقق من معالجاتهم. مرارًا وتكرارًا ، وجدنا أخطاءً خطيرة في تصميمات RISC-V عندما كان يُعتقد أنها صحيحة بناءً على كميات هائلة من اختبارات المحاكاة وحتى ، في بعض الحالات ، تم تصنيعها واختبارها في السيليكون.
كيف تعمل مع عملائك؟
هدفنا الأساسي هو تقديم أقصى عائد استثمار للعميل في أقصر وقت ممكن. غالبًا ما يعني ذلك أننا نأخذ عملية التحقق الرسمية بشكل عملي كمشروع خدمات تسليم مفتاح. إنه يسمح للعميل بمعرفة مدى الرسمية التي يتم إجراؤها على التصميمات الفعلية بوتيرة سريعة مع تقارب إثبات ممتاز للعثور على الأخطاء وإنشاء أدلة على غياب الخطأ. بصرف النظر عن عمل الخدمات الجاهزة ، والذي كان محور تركيزنا الأساسي ، فإننا نقدم أيضًا التدريب لاستكمال الخدمات.
هل لديك أي أفكار أخيرة لقرائنا؟
أود فقط أن أشكر كل من قدم الدعم لنا على مدى السنوات الخمس الماضية. نحن متحمسون لبلوغ هذا الإنجاز ، لكنها مجرد بداية لما يمكننا القيام به لقيادة الصناعة في إنشاء رقائق صحيحة وظيفيًا وآمنة وآمنة. لمزيد من المعلومات ، يمكنك مراسلتنا عبر البريد الإلكتروني على info@axiomise.com أو اتصل بنا من خلال www.axiomise.com. نحن هنا للمساعدة.
أشكرك على وقتك يا أشيش.
انت مرحب بك!
اقرأ أيضا:
مقابلة الرئيس التنفيذي: د. أشيش درباري من اكسيوميس
تسريع التحقق الشامل والكامل من معالجات RISC-V
لماذا قمت بإجراء أول دورة تدريبية رسمية للتحقق عند الطلب في العالم
شارك هذا المنشور عبر:
- محتوى مدعوم من تحسين محركات البحث وتوزيع العلاقات العامة. تضخيم اليوم.
- بلاتوبلوكشين. Web3 Metaverse Intelligence. تضخيم المعرفة. الوصول هنا.
- المصدر https://semiwiki.com/semiconductor-services/axiomise/322318-a-five-year-formal-celebration-at-axiomise/
