2021 سابقہ۔ تصدیق میں جدت

جیسا کہ ہم نے پچھلے سال قائم کیا تھا، ہم اس بلاگ کے جنوری کے شمارے کا استعمال ان کاغذات کو واپس دیکھنے کے لیے کریں گے جن کا ہم نے پچھلے سال جائزہ لیا تھا۔ ہم نے پچھلے سال کے شروع میں جم ہوگن اور اس کی بصیرت کا فائدہ کھو دیا، لیکن ہم نے راؤل کیمپوسانو (جم کا ایک اور دوست) میں ایک نیا اور معروف ماہر حاصل کیا۔ پال (GM، Verification at Cadence)، Raúl (Silicon Catalyst، کاروباری، سابق Synopsys CTO) اور میں 2022 اور اس کے بعد بھی اس سلسلے کو جاری رکھنے کے لیے تیار ہیں۔ ہمیشہ کی طرح، تاثرات کا خیر مقدم کرتے ہیں۔

2021 کے انتخاب

یہ ترتیب میں جنوری سے دسمبر کے بلاگز ہیں۔ سب کو اچھے ہٹ ملے۔ سب سے زیادہ گرم، شہوت انگیز سابقہ ​​تھا، جس نے مجھے مشورہ دیا کہ آپ بھی یہ جاننا چاہتے ہیں کہ دوسروں کو کیا زیادہ دلچسپ لگتا ہے۔ اس سال، "فائنڈنگ لارج کوریج ہولز" اور "Agile and Verification" نمایاں رہے، اس کے بعد "سائیڈ چینل اینالیسس" اور "Instrumenting Post Silicon Validation"۔ بہت اچھے اشارے جہاں آپ نئے آئیڈیاز تلاش کر رہے ہیں۔

2020 سابقہ

کوریج کے بڑے سوراخ تلاش کرنا

ایمولیشن میں کمپائل ٹائم کو کم کرنا

چست اور تصدیق، توثیق

SoC سیکیورٹی کی توثیق کرنے کے لیے مبہم

نیورل نیٹ اور سی آر ٹیسٹنگ

سلیکون کے بعد کی توثیق کا آلہ بنانا

RTL پر سائیڈ چینل کا تجزیہ

ایک ISA جیسا ایکسلریٹر خلاصہ

RTL پر میموری کی مطابقت کی جانچ

سیکھنے پر مبنی پاور ماڈلنگ

توسیع پذیر کنکولک ٹیسٹنگ

پال کا نظریہ

میں واقعی اس بلاگ سے لطف اندوز ہو رہا ہوں؛ میں یقین نہیں کر سکتا کہ 2 سال ہو چکے ہیں۔ یہ میرے لیے حیرت انگیز ہے کہ کس طرح برنارڈ ہر ماہ کچھ نیا اور دلچسپ تلاش کرتا ہے۔ جب ہم نے اس بلاگ کو شروع کیا تو ہمارا مقصد صرف دلچسپ تحقیق کو شیئر کرنا اور اس کی تعریف کرنا تھا، لیکن عملی طور پر کاغذات نے تصدیق میں Cadence کے روڈ میپ کو براہ راست متاثر کیا ہے۔ جو میرے خیال میں تعریف کا حتمی مظاہرہ ہے۔

میں نے اپنے 2021 بلاگز میں جو سب سے بڑا تھیم دیکھا وہ تجرید کو بڑھا رہا تھا۔ جیسا کہ پچھلے 30 سالوں سے ہوتا رہا ہے، یہ پیداواری صلاحیت کو بہتر بنانے کا سب سے بڑا لیور ہے۔ اگرچہ، مجھے شاید اس کے لیے اہل ہونا چاہیے۔ ڈومین کے لیے مخصوص تجری. تاریخی طور پر، تجریدات اطلاق سے آزاد رہے ہیں - پولیگون ٹو گیٹ ٹو نیٹ لسٹ ٹو RTL۔ اب تجریدات اکثر بکھرے ہوئے ہیں – ستمبر کے بلاگ میں ایکسلریٹر کی تصدیق کے لیے ISA سے ILA۔ اکتوبر کے بلاگ میں میموری کی مستقل مزاجی کی توثیق کے لیے SystemVerilog میں اعلیٰ سطحی رویے کے محوروں کی نقشہ سازی کرنا۔ اپریل کے بلاگ میں چست CPU کی تصدیق کے لیے چیزل سے ویریلاگ کریں۔ مئی کے بلاگ میں سیکورٹی کی توثیق کے لیے نقلی سیٹوں کو عام کرنے کے دعوے اور پھر یقیناً، کچھ تجریدات ڈومین ایگنوسٹک ہوتے رہے: نومبر کے بلاگ میں سسٹم لیول پاور ماڈلنگ کے لیے گیٹ لیول سے C++۔ فروری کے بلاگ میں ٹیکسٹ ٹیگنگ کی کوریج۔

دوسرا تھیم جو مسلسل چمکتا رہا وہ یہ ہے کہ مختلف مہارتوں اور نقطہ نظر کے چوراہے پر جدت کیسے ابھرتی ہے۔ کوریج سوراخ تلاش کرنے کے لیے دستاویز کی درجہ بندی الگورتھم سے فائدہ اٹھانے کا فروری کا بلاگ اس سال کی ایک بہترین مثال ہے۔ 1980 کی دہائی کے ابتدائی ML طریقے دوبارہ دریافت ہوئے اور جون کے بلاگ میں CPU تصدیق کے لیے دوبارہ لاگو ہوئے۔ گیم تھیوری مارچ بلاگ میں ایمولیشن میں ایف پی جی اے کے مرتب اوقات کو بہتر بنانے کے لیے استعمال ہوتی ہے۔ یہ دیکھ کر بہت اچھا لگا کہ برنارڈ اس سال ہمارے اپنے کاغذی انتخاب میں اس اصول کو لے رہے ہیں، چند مہینوں میں "فعال تصدیق" سے ہٹ کر پاور، سیکورٹی، اور برقی کیڑے جیسے موضوعات میں۔ یہ ہمیں دو مختلف ڈومینز کے درمیان نقطوں کو جوڑنے میں ہماری مدد کر رہا ہے۔

اس سال دوبارہ تصدیق کے ذریعے ہماری بے ترتیب واک کو جاری رکھنے کے منتظر!

راول کا نظریہ

کسی خاص علاقے پر توجہ مرکوز کیے بغیر، جون سے دسمبر تک، ہم نے تصدیق میں بہت سے دلچسپ موضوعات کو چھوا۔ دو سب سے زیادہ مقبول تھے فلپڈ فلاپس (ہارڈویئر کی خرابیوں) ​​کا پتہ لگانے کے لیے ایمبیڈڈ لاجک اور RTL-سطح پر پاور سائیڈ چینل کے رساو کا اندازہ لگانا۔ ایک اور RTL- سطح کا کاغذ میموری کی مستقل مزاجی سے نمٹا گیا۔ اس سے بھی اعلیٰ سطح پر، ہم نے تصدیق کے لیے انسٹرکشن لیول کے تجریدات کو دیکھا۔ ہمارے پاس ML/NN پر لازمی کاغذات بھی تھے، ایک بہتر سیوڈو رینڈم ٹیسٹ بنانے کے لیے، دوسرا IP کے درست پاور ماڈلز بنانے کے لیے۔ آخر میں، برانچوں کو چالو کرنے کے لیے مشکل تک پہنچنے کے لیے Concolic ٹیسٹنگ پر ہمارا دسمبر کا انتخاب بھی ٹیسٹ کی کوریج میں اضافہ سے متعلق ہے۔

ان شعبوں میں سے ایک جن پر ہم اس بلاگ پر توجہ مرکوز کرتے ہیں وہ ہے مارکیٹ ایبلٹی؛ طریقہ کار کے کاغذات، بنیادی کاغذات، موجودہ نقطہ نظر کی توسیع اور بہت چھوٹے طاق سبھی مختلف وجوہات کی بناء پر اہل نہیں ہیں۔ یقیناً اس کا تکنیکی خوبیوں سے بہت کم تعلق ہے۔ پیش کردہ تحقیق میں سے کچھ اپنانے کے لیے تیار ہیں، مثلاً EDA میں مختلف کاموں کو بہتر بنانے کے لیے ML/NN کا استعمال۔ کچھ طریقہ کار کے ارد گرد ہیں، مثال کے طور پر، ایک ایمولیشن انفراسٹرکچر؛ کچھ زیادہ بنیادی ہیں جیسے اعلی سطحی تجرید۔ دوسرے دلچسپ طاق ہیں، مثال کے طور پر سائیڈ چینل کا رساو۔ لیکن وہ سب تحقیق کے لائق ہیں اور مقالے پڑھنے میں وقت گزرا!

میرے خیال

ہم تینوں نے اس بات پر جاندار بحث کی کہ میں کاغذات کے انتخاب میں کس اصول (اگر کوئی ہے) پر عمل کر رہا ہوں۔ یقینی طور پر ایک بڑے فورم میں شائع کیا گیا ہے۔ جیسا کہ پال کہتے ہیں، یہ موضوعات کے ذریعے بے ترتیب سیر کی چیز ہے۔ میں اپنے انتخاب کی رہنمائی کے لیے قارئین سے تجاویز حاصل کرنا چاہوں گا۔ ہٹس کی بنیاد پر آپ میں سے بہت سارے ہیں، لیکن آپ اپنے خیالات کا اشتراک کرنے میں واضح طور پر شرماتے ہیں۔ شاید میرے لیے ایک نجی ای میل آسان ہو جائے - info@findthestory.net.

• میں خاص طور پر مشکل تکنیکی مسائل میں دلچسپی رکھتا ہوں جن کا آپ کو مسلسل سامنا ہے۔
• اگر آپ کر سکتے ہیں (ضرورت نہیں ہے) موضوع پر ایک مقالے کا حوالہ فراہم کریں۔ یہ کسی بھی فورم پر شائع کیا جا سکتا ہے.
• مجھے حل شدہ مسائل میں اتنی دلچسپی نہیں ہے - آپ نے اپنے تصدیقی بہاؤ میں کچھ کام کرنے کے لیے کچھ وینڈر ٹول کا استعمال کیسے کیا۔ جب تک کہ آپ یہ نہیں سوچتے کہ آپ کی مثال کچھ بنیادی طور پر مفید صلاحیت کو ظاہر کرتی ہے جسے آپ کی درخواست سے باہر عام کیا جا سکتا ہے۔

اس دوران ہم اپنی بے ترتیب چہل قدمی کو جاری رکھیں گے، ان موضوعات کے ذریعے بڑھایا جائے گا جو ہم سنتے ہیں کہ یہ بہت ہی اہم ہیں - ہم آہنگی کی جانچ، سیکورٹی، تجرید

اس پوسٹ کو بذریعہ شیئر کریں: ماخذ: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/