تیزی سے ڈیزائن کی توثیق کی بندش کو حاصل کرنا

بڑے چپ ڈیزائن پراجیکٹس پر منطق کی توثیق کی کوشش ڈیزائن کی کوشش سے بڑی ہو سکتی ہے، جس میں سے ڈیٹا کی بنیاد پر پراجیکٹ کا 70% وقت لگتا ہے۔ 2022 ولسن ریسرچ گروپ نتائج افسوس کی بات یہ ہے کہ پچھلے 31 سالوں میں پہلی سیلیکون کی کامیابی کی شرح 24 فیصد سے نیچے کی طرف صرف 8 فیصد تک چلی گئی ہے، جس کی وجہ سے خامیوں کو درست کرنے میں ایک اور گھماؤ آ رہا ہے، جس سے کمپنیوں کا مارکیٹ میں وقت ضائع ہو رہا ہے اور یقینی طور پر ان کے محصولات کے منصوبوں کو نقصان پہنچا ہے۔ بہتر توثیق یقینی طور پر پہلی سیلیکون کامیابی کو بہتر بنائے گی، لیکن یہ کہنے سے کہیں زیادہ آسان ہے۔

ولسن ریسرچ گروپ کے مطالعے سے کچھ دوسرے سنجیدہ نمبر:

• ASIC - 24% پہلی بار کامیابی، 36% وقت پر ختم
• FPGA - 16% صفر کیڑے سے فرار حاصل کرتے ہیں، 30% وقت پر ختم کرتے ہیں۔

ڈیزائن کی تصدیق میں بہت سے مشکل کام ہوتے ہیں: ڈیبگنگ، ٹیسٹ بنانا پھر انجن چلانا، ٹیسٹ بینچ ڈیولپمنٹ اور ٹیسٹ پلاننگ۔ مثالی طور پر آپ کی ٹیم باری باری کے اوقات کو کم سے کم کرنا چاہتی ہے، کم سے کم لوگوں کے ساتھ توثیق کی بندش تک پہنچنا اور وسائل کی گنتی کرنا، حفاظتی تعمیل کو پورا کرنا، اور یہ جاننا چاہتی ہے کہ جب ڈیزائن کا معیار کافی زیادہ ہے تو تصدیق کرنا بند کر سکتا ہے، جبکہ پروجیکٹ کے شیڈول کو پورا کرنا ہے۔

مجھے حال ہی میں سیمنز ای ڈی اے میں ڈیزائن کی توثیق کے ماہر ڈیرون مے کی طرف سے ایک تازہ کاری ملی ہے جس کے بارے میں ابھی اعلان کیا گیا ہے Questa تصدیق IQ. ان کا نقطہ نظر ڈیٹا پر مبنی توثیق کے بارے میں ہے جو AI/ML کے ذریعے چلنے والے ٹریس ایبلٹی، تعاون اور تجزیات کے استعمال کے ارد گرد تشکیل دیا گیا ہے۔ روایتی تجزیات صرف منطقی رویے کو بیان کرنے اور اس کی تشخیص کرنے میں محدود پیداواری صلاحیت اور بصیرت فراہم کرتے ہیں، جب کہ AI/ML کا استعمال کرتے ہوئے ڈیٹا سے چلنے والے بڑے تجزیات تصدیق کے لیے پیشین گوئی اور نسخے کی کارروائیاں پیش کرتے ہیں۔ سافٹ ویئر اور ہارڈویئر ٹیمیں کے استعمال کے ذریعے تعاون کرکے زیادہ نتیجہ خیز بن رہی ہیں۔ CI (مسلسل انضمام) فرتیلا طریقوں ، ALM (ایپلی کیشن لائف سائیکل مینجمنٹ)، کلاؤڈ بیسڈ ڈیزائن، اور AI/ML تکنیکوں کا اطلاق۔ حفاظت کی اہم صنعتوں کو ضروریات، نفاذ اور تصدیق کے درمیان سراغ لگانے کی ضرورت ہوتی ہے، جیسا کہ ISO 26262 اور DO-254 جیسے صنعتی معیارات میں بیان کیا گیا ہے۔

یہاں ایک بڑی تصویر ہے کہ کس طرح Quest Verification IQ مختلف تصدیقی انجنوں کے تمام ڈیٹا کو ایک ALM ٹول کے ساتھ ڈیٹا سے چلنے والے بہاؤ میں جوڑتا ہے۔

کوریج کا ڈیٹا منطقی تخروپن سے جمع کیا جاتا ہے (اس) ایمولیشن اور پروٹو ٹائپنگ (تیز)، AMS (سمفنی)، رسمی (OneSpin)، جامد اور FuSa. ML خصوصیت اس تمام ڈیٹا کا تجزیہ کرتی ہے تاکہ پیٹرن کی پیشن گوئی کی جا سکے اور کسی بھی سوراخ کو ظاہر کیا جا سکے، بنیادی وجوہات کی نشاندہی کریں، پھر کوریج کو بہتر بنانے کے لیے کارروائی تجویز کریں۔ دکھایا گیا ALM ہے قطبی سیمنز سے، اگرچہ آپ دوسرا ALM استعمال کر سکتے ہیں، بالکل اسی طرح جیسے آپ اپنے پسندیدہ تصدیقی انجن استعمال کر سکتے ہیں۔

Questa Verification IQ ایک براؤزر پر مبنی فریم ورک ہے جس میں ایک پروسیس گائیڈ شامل ہے تاکہ آپ لائف سائیکل مینجمنٹ کا استعمال کرتے ہوئے تمام ضروریات کی منصوبہ بندی اور ٹریک کرنے کے لیے ایک حفاظتی اہم بہاؤ بنا سکیں۔ ریگریشن نیویگیٹر آپ کی ٹیم کو ٹیسٹ بنانے اور اس پر عمل کرنے، نتائج کی نگرانی کرنے اور تصدیق کی مکمل تاریخ رکھنے کے قابل بناتا ہے۔ کوریج تجزیہ کار کے ساتھ آپ جانتے ہیں کہ کوڈ، فنکشنل بلاکس اور ٹیسٹ پلانز کے لیے آپ کی کوریج کتنی مکمل ہے۔ آخر میں، پیش کردہ ڈیٹا اینالیٹکس آپ کو میٹرک پلیٹ فارم فراہم کرتے ہیں، پروجیکٹ ڈیش بورڈز کا استعمال کرتے ہوئے اور کراس اینالیٹکس فراہم کرتے ہیں۔

کسی بھی سائز کے الیکٹرانکس پروجیکٹ کے لیے ویب پر مبنی فریم ورک اسکیل کرتا ہے، اور آپ کو کوئی سافٹ ویئر انسٹال کرنے یا اپنے OS کو اپ ڈیٹ رکھنے کے بارے میں فکر مند ہونے کی ضرورت نہیں ہوگی۔ یہ عوامی، نجی یا ہائبرڈ کلاؤڈ سیٹ اپ کو بھی سپورٹ کرتا ہے۔ AI/ML کے لاگو ہونے کے ساتھ توثیقی بندش کا عمل تیز ہو جاتا ہے، جب کہ ڈیبگ کی کوشش تیز ہو جاتی ہے کیونکہ بنیادی وجہ تجزیہ اس بات کی نشاندہی کرنے میں مدد کرتا ہے کہ کہاں بہتری لائی جائے۔

میں نے ڈیرون مے سے چند واضح سوالات پوچھے۔

سوال: کیا میں کسی بھی EDA وینڈر ٹول اور ALM کے ساتھ Questa Verification IQ کو ملا اور میچ کر سکتا ہوں؟

A: Questa Verification IQ معیار پر مبنی نقطہ نظر کے ذریعے ALM ٹولز اور انجنوں کو سپورٹ کرتا ہے۔ یہ اوپن سروسز فار لائف سائکل کولابریشن (OSLC) کا استعمال کرتے ہوئے ALM ٹولز کے ساتھ انٹرفیس کرتا ہے اس لیے ڈورز نیکسٹ یا سیمنز پولاریئن اور ٹیم سینٹر جیسے معیار کی حمایت کرنے والا کوئی بھی ٹول استعمال کیا جا سکتا ہے۔ کوئی بھی انجن Questa Verification IQ کے ذریعے لانچ کیا جا سکتا ہے اور پھر ہمارے پاس یونیفائیڈ کوریج انٹرآپریبلٹی اسٹینڈرڈ (UCIS) کے ذریعے کوریج کے لیے تعاون حاصل ہے۔

س: یہ نقطہ نظر Synopsys DesignDash سے کیسے موازنہ کرتا ہے؟

A: Synopsys DesignDash ڈیزائن ڈیٹا کے لیے ML پر مرکوز ہے جب کہ Questa Verification IQ ڈیٹا سے چلنے والی تصدیق پر مرکوز ہے، بشمول ML، تصدیق کی بندش کو تیز کرنے، باری باری کے اوقات کو کم کرنے اور زیادہ سے زیادہ عمل کی کارکردگی فراہم کرنے کے لیے۔ Questa Verification IQ ڈیٹا تک مرکزی رسائی کے ساتھ براؤزر پر مبنی فریم ورک میں ٹیم کی بنیاد پر تعاونی تصدیق کے انتظام کے لیے درکار ایپلی کیشنز فراہم کرتا ہے۔

سوال: یہ نقطہ نظر Cadence Verisium سے کیسے موازنہ کرتا ہے؟

A: Cadence Verisium صرف ML معاون تصدیق پر فوکس کرتا ہے۔ اس کے مقابلے میں Siemens Questa Verification IQ مکمل ڈیٹا پر مبنی تصدیقی حل فراہم کرتا ہے جو تجزیات، تعاون اور ٹریس ایبلٹی کے ذریعے تقویت یافتہ ہے۔ تصدیق کا انتظام ایک براؤزر پر مبنی ٹول میں فراہم کیا جاتا ہے جس میں تعاون کے ارد گرد بنی ایپلی کیشنز ہیں۔ کوریج اینالائزر ML کی مدد سے تجزیاتی نیویگیشن کا استعمال کرتے ہوئے صنعت کا پہلا تعاونی کوریج بند کرنے کا ٹول لاتا ہے۔ سوال کی تصدیق کا IQ OSLC کا استعمال کرتے ہوئے Siemens Polarion کے ساتھ انٹرفیس کرتا ہے اور UI کے سیاق و سباق میں تبدیلی کے بغیر ایپلی کیشن لائف سائیکل مینجمنٹ کے ساتھ ایک سخت ڈیجیٹل تھریڈ ٹریس ایبلٹی فراہم کرتا ہے، جس سے ہارڈ ویئر کی تصدیق میں ALM کی طاقت آتی ہے۔

خلاصہ

میں ہمیشہ نئے EDA ٹولز سے متاثر ہوں جو ہوشیار کام کر کے ایک پیچیدہ کام کو آسان بنا دیتے ہیں، انجینئرز کو زیادہ گھنٹے دستی کوشش کرنے کی ضرورت نہیں ہوتی۔ Arm اور Nordic Semiconductor جیسی واقف کمپنیوں سے Questa Verification IQ کی ابتدائی توثیق کے ساتھ، ایسا لگتا ہے کہ Siemens EDA نے تصدیق کرنے والی ٹیموں کے لیے غور کرنے کے لیے کچھ ایسا شامل کیا ہے۔

متعلقہ بلاگز

اس پوسٹ کو بذریعہ شیئر کریں:

• SEO سے چلنے والا مواد اور PR کی تقسیم۔ آج ہی بڑھا دیں۔
• پلیٹو بلاک چین۔ Web3 Metaverse Intelligence. علم میں اضافہ۔ یہاں تک رسائی حاصل کریں۔
• ماخذ: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/