رسمی توثیق کو زیادہ کثرت سے اور زیادہ جگہوں پر چپ ڈیزائن میں تعینات کیا جا رہا ہے کیونکہ ممکنہ تعاملات کی تعداد میں اضافہ ہوتا ہے، اور چونکہ وہ چپس زیادہ اہم ایپلی کیشنز میں استعمال ہوتی ہیں۔
ماضی میں، بہت کچھ رسمی تصدیق اس پر توجہ مرکوز کی گئی تھی کہ آیا ایک چپ ٹھیک سے کام کرے گی۔ لیکن جیسے جیسے ڈیزائن زیادہ پیچیدہ اور متضاد ہوتے جاتے ہیں، اور جیسے جیسے استعمال کے معاملات بدلتے جاتے ہیں، باضابطہ توثیق کو تقسیم کے اثرات کا اندازہ لگانے سے لے کر خاموش ڈیٹا بدعنوانی کے ماخذ کا پتہ لگانے تک ہر چیز میں استعمال کیا جا رہا ہے۔ یہاں تک کہ اس کا استعمال سائبر حملوں کے ممکنہ ویکٹرز کی شناخت کے لیے بھی کیا جا رہا ہے، اور یہ معلوم کرنے کے لیے کہ کسی آلے کے اندر بجلی کیسے پہنچائی اور استعمال کی جاتی ہے۔
"کم طاقت کا ڈیزائن بہت طویل عرصے سے موجود ہے، لیکن یہ ایک ایسا طریقہ تھا جسے زیادہ تر موبائل چپس کے لیے قبول کیا جاتا ہے،" شان صفار پور، آر اینڈ ڈی گروپ ڈائریکٹر کے مطابق Synopsys' ای ڈی اے گروپ۔ "اب یہ بورڈ کے اس پار ہے۔ اسی طرح، ہم ایکسلریٹرز میں مزید AI/ML استعمال کر رہے ہیں، اور آپ فی پاور جتنا کام کر سکتے ہیں وہ ایک بڑا ڈرائیور ہے۔ لہذا اب ہر ایک کے لیے، وہ جو کچھ بھی کر رہے ہیں، کم طاقت والا ڈیزائن ایک بہت بڑی تشویش ہے۔ اس کا رسمی توثیق سے کیا تعلق ہے کہ ان میں سے کچھ مسائل کو حل کرنے کے لیے رسمی تصدیق کے مخصوص طریقے استعمال کیے جا سکتے ہیں۔
یہ اب صرف کے بارے میں نہیں ہے گھڑی گیٹنگ آپٹمائزیشن، جس میں سمولیشن ریگریشنز کو دوبارہ چلانا شامل ہے تاکہ یہ یقینی بنایا جا سکے کہ سب کچھ درست ہے۔ آج، طاقت کو کسی نظام کے دوسرے اجزاء کے تناظر میں، اور کبھی کبھی نظاموں کے درمیان غور کرنے کی ضرورت ہے۔ رسمی کے بغیر اس میں نمایاں طور پر زیادہ وقت لگے گا، اگر یہ بالکل بھی کیا جا سکتا ہے۔ اسے استعمال کے مختلف معاملات اور کام کے بوجھ کے تناظر میں بھی جانچنے کی ضرورت ہے، جہاں بجلی کی ترسیل سے استعمال تک کا پتہ لگانے کی ضرورت ہے۔
"اگر آپ کلاک گیٹنگ کر رہے ہیں تو، ہم کلاک گیٹنگ کے ساتھ اور اس کے بغیر تجزیہ کر سکتے ہیں اور آپ کو قطعی طور پر بتا سکتے ہیں کہ کیا فعالیت ایک جیسی ہے، یا آپ کو راستے میں کوئی بگ اور کچھ ٹوٹ سکتا ہے،" صفر پور نے کہا۔ "صارف کی درخواستوں کی بنیاد پر، اب UPF فائل کے ذریعے طاقت کے ارادے کو بھی مدنظر رکھنا ممکن ہے۔ پانچ یا چھ سال پہلے، ہمارے پاس ایسی کوئی درخواست نہیں تھی۔ اب وہ اتنے نمایاں ہیں کہ لوگ کہہ رہے ہیں کہ میں جائیداد کی تصدیق کرتا ہوں۔ میرے دعوے ہیں۔ لیکن اب میں اپنے UPF کی موجودگی میں ان دعووں کو چیک کرنا چاہتا ہوں۔ میں ایس او سی لیول کنیکٹیویٹی چیکنگ کرتا ہوں، جو ایک اور مخصوص ایپلی کیشن ہے۔ لیکن یہ نامکمل ہے جب تک کہ آپ ڈیزائن کے مکمل UPF کو مدنظر نہیں رکھتے۔ فارمل ان مخصوص علاقوں میں جانے کے قابل ہے تاکہ صارف کہہ سکیں، 'ایک سیکنڈ انتظار کریں، ہمیں اپنے پورے ریگریشن سوٹ کو دوبارہ کرنے کی ضرورت نہیں ہے۔ ہم ان مخصوص مسائل کو لے سکتے ہیں اور انہیں مکمل طور پر حل کر سکتے ہیں۔' رسمی کی اصل قدر یہی ہے۔ یہ فطرت میں مکمل ہے، لہذا جب آپ اپنے پورے ٹیسٹ پلان کو دیکھ رہے ہیں، اور آپ ان میں سے کچھ پہلوؤں کو دیکھ رہے ہیں، چاہے یہ کم طاقت ہو، یا سیکیورٹی، ہم ان سب میں جا سکتے ہیں۔ آپ کے ٹیسٹ پلان میں ان کے لیے مخصوص لائن آئٹمز ہوں گے۔ ان میں سے کچھ کو آپ رسمی توثیق کے ساتھ مکمل طور پر حل کر سکتے ہیں، جو کہ ان دنوں اس کی اہمیت میں اضافہ ہونے کی ایک وجہ ہے کیونکہ مسئلہ کی جگہ بڑھ رہی ہے۔"
سیدھے الفاظ میں، کوریج کے فرق جو ماضی میں قابل قبول تھے جب خصوصیات کم تھیں اور لائف سائیکل چھوٹے تھے آج بہت سی ایپلی کیشنز میں ناقابل قبول ہیں۔
"ہر کوئی ہمیشہ بڑھتی ہوئی پیچیدگی کے بارے میں بات کرتا ہے، اور بہت سارے لوگ اسے مختلف چیزوں کو کرنے کی وجہ کے طور پر بجا طور پر استعمال کریں گے،" کرس جائلز، ہیڈ آف پروڈکٹ مینجمنٹ برائے جامد اور رسمی حل نے کہا۔ سیمنز ای ڈی اے۔. "جب ہم مارکیٹ کی کامیابی، اور عمومی ترقی کے عمل کو دیکھتے ہیں، تو ہم جو دیکھتے ہیں وہ یہ ہے کہ تصدیق میں سرمایہ کاری میں کئی دہائیوں کے طویل اضافے کے باوجود، یہ پیچیدگی میں اضافے کے ساتھ مطابقت نہیں رکھتا ہے۔ لہذا جب کہ ہم سب تسلیم کرتے ہیں کہ پیچیدگی میں مسلسل اضافہ ہوتا ہے، ہم نے بطور صنعت اس پر کیسے ردعمل ظاہر کیا ہے اتنا موثر نہیں جتنا اسے ہونے کی ضرورت ہے۔ پچھلے چند سالوں میں جو تبدیلی دیکھی گئی ہے وہ وہی ہے جس میں دنیا سلیکون کا مطالبہ کر رہی ہے، اور یہ وہ جگہ ہے جہاں رسمی تصدیق ایک مطلق ضرورت بنتی جا رہی ہے۔ آج دنیا سیلیکون کی جس چیز کا مطالبہ کر رہی ہے وہ ایک مختلف تصدیقی طریقہ ہے۔ ہم جس چیز کا مطالبہ کر رہے ہیں وہ اب پیچیدگی کے بارے میں نہیں ہے۔ یہ حفاظت کے بارے میں ہے۔ یہ سیکورٹی کے بارے میں ہے. یہ اعتماد کے بارے میں ہے۔ یہ یقین دہانی کے بارے میں ہے۔ اور ان تمام چیزوں کو لکیری نقلی طریقہ کار سے ثابت کرنا بہت مشکل ہے۔
اس کے نتیجے میں، رسمی تصدیق کی مانگ میں ایک دھماکہ ہوا ہے۔ جائلز نے کہا، "یہی وہ جگہ ہے جہاں رسمی طور پر سبقت لی جاتی ہے۔ "اس کی مکمل نوعیت کی وجہ سے، رسمی تصدیق حتمی طور پر ثابت کر سکتی ہے کہ ڈیزائن محفوظ، محفوظ، یا قابل اعتماد ہے۔ صنعت میں ان خصوصیات کو سرٹیفیک کرنے کے لیے بہت سارے کام کیے جا رہے ہیں، اس لیے اس سرٹیفیکیشن کو پیدا کرنے والے بہاؤ کا ہونا بہت ضروری ہے۔ یہ وہ جگہ ہے جہاں رسمی بالکل ضروری ہے۔ اگر آپ آئی پی انڈسٹری پر نظر ڈالیں تو، آئی پی کمپنیاں ضروری طور پر نہیں جانتی ہیں کہ ان کا آئی پی کس حتمی پروڈکٹ میں ہونے والا ہے، لہذا انہیں اس قسم کے سوالات کے لیے منصوبہ بندی کرنی ہوگی۔ میں کیسے جان سکتا ہوں کہ یہ ایک محفوظ ڈیزائن ہے؟ میں کیسے جان سکتا ہوں کہ یہ ایک قابل اعتماد ڈیزائن ہے؟ میں کیسے جان سکتا ہوں کہ انسانی جانوں کو اس کے کنٹرول میں رکھنا محفوظ ہے؟ یہ وہ چیزیں ہیں جن کے بارے میں آج آئی پی ٹیموں کو بھی پریشان ہونا پڑتا ہے۔
پیٹ ہارڈی، سسٹم اور تصدیق گروپ میں پروڈکٹ مینجمنٹ ڈائریکٹر Cadence سےنے کہا کہ اس نے پچھلی دہائی کے دوران تصدیق کے رسمی استعمال میں غیر معمولی اضافہ دیکھا ہے۔ "اس میں کوئی شک نہیں کہ اس نے بڑے پیمانے پر مرکزی دھارے کے استعمال میں 'کھائی کو عبور کیا ہے'۔ یہ اعلیٰ سیمی کنڈکٹر کمپنیوں کی اکثریت کے لیے تصدیقی ہتھیاروں میں ایک ناگزیر ٹول ہے۔"
بڑھتی ہوئی پیچیدگی، دونوں ایڈوانسڈ نوڈ SoCs کے ساتھ ساتھ پیکیج میں متضاد اسمبلی کے لیے، مزید تصدیق کی ضرورت ہے۔ "تصدیق کی ضرورت ڈیزائن کی پیچیدگی کے ساتھ تیزی سے پھیلتی ہے،" ہاردی نے کہا۔ "اہم اثرات دو گنا ہوئے ہیں۔ سب سے پہلے، IP پر مبنی درجہ بندی کی تصدیق کے ساتھ، توثیق کی کامیابی میں تقسیم اور فتح ایک اہم عنصر رہا ہے - آئی پی بلاک یا سب سسٹم کی اچھی طرح سے تصدیق کریں، پھر درست انضمام کی جانچ کریں اور اگلی سطح پر کچھ بھی نہیں ٹوٹا۔ IP پر مبنی توثیق کے لیے، رسمی توثیق نے بہت سے، لیکن سبھی کے لیے، IP کی قسموں کے لیے رسمی سائن آف حاصل کرنے کے لیے پیمانہ بنایا ہے۔ رسمی اسکیل ایبلٹی میں بڑی پیشرفت کے باوجود ریاست کی جگہ اب بھی ایک مسئلہ بن سکتی ہے۔ مثال کے طور پر، پیچیدہ سیریل پروٹوکول رسمی تصدیق کے لیے چیلنجنگ رہتے ہیں – ترتیب وار گہرائی اکثر بہت زیادہ ہوتی ہے۔ کچھ رسمی تکنیکیں چپ کی سطح تک پہنچ سکتی ہیں، لیکن صرف کچھ محدود طریقوں سے - بڑے ڈیجیٹل SoCs کے لیے مکمل رسمی سائن آف بہت مشکل ہے۔"
پروسیسر پر مبنی ڈیزائن ہمیشہ سے چیلنجنگ رہے ہیں، لیکن ان کی تصدیق کرنا خاص طور پر مشکل ہوتا ہے جب وہ ڈومین سے متعلق مخصوص فن تعمیر کو استعمال کرتے ہیں۔ "بڑے پیمانے پر قابل پروگرام ڈیزائنز میں بہت زیادہ اضافہ ہوا ہے - عمودی ایپلی کیشن کے لحاظ سے پروسیسر کور کے بہت سے یکساں یا متضاد صفوں کا استعمال کرتے ہوئے ملٹی پروسیسر آرکیٹیکچرز،" انہوں نے نوٹ کیا۔ "ایپلی کیشن پروسیسرز کے لئے، آرم بمقابلہ x86 ISA جنگ اب RISC-V کے ذریعہ کھلی ہوئی ہے۔ GPUs ایک طویل عرصے سے موجود ہیں، لیکن بہت سے دوسرے قسم کے میتھ کو-پروسیسر اور ایکسلریٹر عام ہیں، خاص طور پر اب AI/ML انقلاب کے ذریعے کارفرما ہیں۔ ہر کوئی اپنی طاقت، کارکردگی، اور علاقے کی ضروریات کے لیے اپنی مرضی کے مطابق ایپلی کیشن اور ریاضی کے کور کی اپنی شکل بنا رہا ہے۔ Cadence اس رجحان کو ڈومین مخصوص آرکیٹیکچرز (DSA) سے تعبیر کرتا ہے۔
وشوسنییتا کے بارے میں خدشات یہاں تک کہ غیر اہم آلات تک بھی پھیل رہے ہیں۔ کے سی ای او آشیش درباری نے کہا، "ہر ڈیزائن میں ایک رسمی تصدیقی حل ہو سکتا ہے، بشمول ریاضی کے زیر اثر ڈیزائن،" Axiomise. "ریاضی پر غلبہ والا ڈیزائن سب سے بڑے رسمی تصدیقی ٹول فراہم کنندگان کے جدید حل سے فائدہ اٹھا رہا ہے، جن میں سے سبھی کے پاس ایسے حل ہیں جو ریاضی کی توثیق کی طرف توجہ دے رہے ہیں، خاص طور پر فلوٹنگ پوائنٹ سائیڈ پر۔ چیزوں کی بڑی اسکیم میں، یہ ضروری نہیں کہ کام کا ایک بڑا حجم ہو، لیکن یہ ہمارے لیے کافی اہم اور اہم ہے کہ ہم دوسری طرف نہ دیکھیں۔
اس نے بہاؤ میں بہت پہلے رسمی طور پر استعمال ہونے کا دروازہ کھول دیا ہے، جہاں اسے ڈیزائن سے متعلق تاخیر کو دور کرنے اور انجینئرنگ کمیونٹی کے وسیع تر حصے میں استعمال کیا جا سکتا ہے۔ لیکن اس نے ٹیلنٹ کی کمی بھی پیدا کر دی ہے، کیونکہ ہر کوئی لکھنے میں مہارت نہیں رکھتا دعوے مختلف قسم کی مختلف ایپلی کیشنز میں۔
درباری نے کہا، "سلیکون میں کاروبار میں معقول نام رکھنے والا ہر شخص، چاہے وہ GPU ہو یا پروسیسر کمپنی، یا فیبرک کمپنی، رسمی استعمال کر رہا ہے۔" "وہ تمام جنات جو ہارڈ ویئر بنا رہے ہیں وہ رسمی استعمال کر رہے ہیں۔ اور ان میں سے کچھ بہت زیادہ رسمی کام کرنا چاہتے ہیں، لیکن ان کے پاس اتنا ہنر نہیں ہے۔
گود لینے کی شرح بھی مختلف ہوتی ہے۔ "کچھ رسمی تصدیق سے بہت واقف اور آرام دہ ہیں، سمجھتے ہیں کہ یہ کیا کر سکتا ہے، اور اسے چیلنج کرتے ہیں،" سیمنز جائلز نے نوٹ کیا۔ "دوسرے تھوڑا زیادہ ہچکچاتے ہیں، کیونکہ یہ کبھی کبھی سائنس کے منصوبے کی طرح محسوس ہوتا ہے، یا تعلیمی کوشش کی ضرورت ہوتی ہے۔ جب کوئی ایسا شخص جو رسمی طور پر پہلے سے واقف نہیں ہے وہ رسمی تصدیق کی سفارش کرتا ہے، تو ان کا پہلا خیال یہ ہوتا ہے، 'اب مجھے اپنے عملے پر پی ایچ ڈی کرنا ہے۔ ہمیں اپنے منصوبے کو آگے بڑھانا ہے۔ میں یہ کیسے کروں گا؟' اور یہ گود لینے کے مختلف درجات کی طرف جاتا ہے۔"
کچھ کمپنیوں میں، رسمی بہت سی مطلوبہ مہارتوں میں سے صرف ایک بن گئی ہے۔ یہ ایک اہم تبدیلی ہے۔ رسمی تصدیق کے ابتدائی دنوں میں، یہ فرض کیا گیا تھا کہ انجینئرز کا ایک چھوٹا گروپ ٹولز کے استعمال میں مہارت حاصل کر لے گا۔
Synopsys' Safarpour نے کہا، "ہم نے محسوس کیا کہ ڈیزائنرز، تصدیقی انجینئرز، زندگی کے تمام شعبوں کے انجینئرز ٹیکنالوجی کا استعمال کر سکتے ہیں۔" "اور یہ EDA ٹول ڈویلپرز پر منحصر ہے کہ وہ اسے اس صارف کے لیے مزید بدیہی بنائیں۔ ہمارے پاس مختلف شخصیات ہیں، مختلف ٹوپیاں ہیں۔ اب، اگر آپ ڈیزائنر ہیں، تو آپ کو قدرے مختلف انٹرفیس کی ضرورت ہو سکتی ہے۔ آپ اپنی رسمی بلیک بیلٹ سے مختلف زاویے سے اس کی طرف آرہے ہیں، اور جو گھنٹیاں اور سیٹیاں آپ ڈھونڈ رہے ہیں وہ بالکل مختلف ہیں۔ ٹول ڈویلپرز کے طور پر، ہم نے اپنے صارفین سے بھی سیکھا ہے جو ٹولز سے زیادہ سے زیادہ فائدہ اٹھا سکتے ہیں۔ اس پہلو سے بھی، بار کو کم کر دیا گیا ہے۔ آج، جب میں سوالات حاصل کرتا ہوں، یا گاہکوں سے بات کرتا ہوں، تو اتنے ہی غیر ماہرین ہیں جو روایتی رسمی ماہرین کے مقابلے میں اضافہ کی درخواستیں کر رہے ہیں یا ہمیں اس آلے کے بارے میں رائے دے رہے ہیں۔"
ایمولیشن بمقابلہ رسمی بمقابلہ تخروپن
توثیقی بہاؤ کے دیگر سٹالورٹس میں تخروپن اور ایمولیشن شامل ہیں۔ لیکن کچھ ڈیزائنوں کے لیے، ہر تصدیقی ٹول ضروری نہیں ہو سکتا۔
سیمنز جائلز نے کہا کہ "کچھ چیزیں ایسی ہیں جو باضابطہ توثیق کے لیے موزوں ہیں جو کہ تخروپن کے لیے موزوں نہیں ہیں، اور اس کے برعکس،" سیمنز جائلز نے کہا۔ "اس کی ایک اچھی مثال رابطے کی جانچ ہے۔ تقلید کے عمل سے گزرنا کہ تمام باہم روابط، تھوڑے تھوڑے، درست ہیں، کافی طویل سلسلہ وار عمل ہے۔ اگر آپ اسے ایک ہی رن میں مکمل طور پر کر سکتے ہیں، تو آپ ان سمولیشن سائیکلوں کو لے سکتے ہیں اور ان کا استعمال اس کے لیے کر سکتے ہیں جو سمولیشن بہترین کام کرتی ہے۔ تو یہ ایک پیداواری کھیل ہے۔ ایک اور چیز جو واضح ہے کہ صنعت گلوبلائزیشن ماڈل سے علاقائی یا قومیانے کے ماڈل کی طرف بڑھ رہی ہے - اور ہمیں پوری دنیا میں کئی بار سلیکون ڈیزائن، ترقی اور پیداوار کے ماحولیاتی نظام کی نقل تیار کرنا پڑ رہی ہے - یہ ہے کہ مزدوروں کی کمی ہے۔ دنیا بھر میں ہر جگہ بہت زیادہ پیش گوئی کی. اور اس کا ڈیزائن کی پیچیدگی سے کوئی لینا دینا نہیں ہے۔ اس کا تعلق دنیا کی جیو پولیٹیکل اور میکرو اکنامک حقیقتوں سے ہے۔ اس سے ہر جگہ مواقع پیدا ہو رہے ہیں۔ اور حقیقت یہ ہے کہ اس ماحول میں کامیابی کے لیے ہمیں اپنے لوگوں سے زیادہ پیداواری صلاحیت کی ضرورت ہے۔ باضابطہ یا موثر تصدیق کا استعمال کرتے ہوئے، تخروپن کے چکروں کو آزاد کرنا جو سب سے بہتر کام کرتا ہے، اب اور مستقبل میں ترقی کا ایک اہم حصہ ہے۔ لہذا وہ دو چیزیں - پیداواری ٹکڑا کے ساتھ ساتھ ان مطالبات کا جواب دینا جو دنیا آج سلیکون پر ڈال رہی ہے، اور حفاظت اور یقین دہانی، اعتماد اور سلامتی کے لحاظ سے - یہ وہ وجوہات ہیں جن کی وجہ سے میں رسمی تصدیق کو بالکل ضروری سمجھتا ہوں۔ ترقی."
کچھ معاملات میں، ایک سے زیادہ قسم کے آلے کی ضرورت ہوتی ہے۔ درباری کوریج کی ضروریات کے ساتھ ساتھ مختلف دکانداروں کے مختلف ٹولز کی صلاحیتوں کی بنیاد پر ایک اوورلیپ کی طرف اشارہ کرتا ہے۔ انہوں نے کہا کہ اب بھی فرق ہے۔ "ڈیبگ سب سے زیادہ دلچسپ ہے۔ ڈیبگ وہ جگہ ہے جہاں میں کم سے کم وقت میں ناکامی کی جڑ تک پہنچ سکتا ہوں، اور یہ ایک ایسا علاقہ بھی ہے جہاں ہم نے بہت زیادہ وقت صرف کرنے کے لیے چیزوں کو جڑ سے اکھاڑ پھینکا ہے۔
باضابطہ توثیق اور تخروپن کے درمیان ایک باہمی تعامل بھی ہے تاکہ تخروپن کے چکروں کو کم کیا جا سکے، باضابطہ تصدیق کے ساتھ جو انجینئرنگ ٹیم کے لیے زیادہ مہنگا ہے۔
"آپ کبھی بھی کافی تخروپن نہیں کر سکتے ہیں، لہذا یہ مطالبہ بے حد ہے،" Safarpour نے کہا. "ہر کوئی تخروپن کرنا چاہتا ہے، لیکن ان کے پاس اس کے لیے کافی حساب نہیں ہے۔ تاہم، نقلی اور باضابطہ تصدیقی ٹیکنالوجیز فطرت میں کافی تکمیلی ہیں، اور ہم اسے متعدد شعبوں میں دیکھتے ہیں۔ کوریج میں، تخروپن کے ساتھ، آپ بہت آسانی سے 80%، 85%، شاید 90% کوریج حاصل کر سکتے ہیں، اور پھر کیا ہوتا ہے کہ آپ تیزی سے منحنی خطوط پر پہنچ جاتے ہیں۔ پھر وہ دوسرے 5٪ ہیں۔ سائن آف کرنے کا معیار کیا ہے اس پر انحصار کرتے ہوئے، مزید 5% یا اس سے زیادہ ہے، اور اس میں اتنی بے ترتیبی ہے جو آپ کر سکتے ہیں کہ ہم اب بھی ان کو نہیں مار سکتے۔ یہ 5% رسمی کے لیے ایک پیارا مقام ہوتا ہے، کیونکہ امکانات یہ ہیں کہ 5% یا تو ایسی چیزیں ہیں جن کو مارنا مشکل ہے، جیسے کارنر کیسز، جو کہ رسمی طور پر اچھے ہیں، یا وہ ڈیڈ کوڈ ہیں، یعنی اس سے کوئی فرق نہیں پڑتا کہ کتنا ہی تخروپن آپ کرتے ہیں آپ اسے مار نہیں سکتے. اس سے آپ پر سوالیہ نشان رہ جاتا ہے، اور پھر کسی انجینئر کو اس کوڈ کا جائزہ لینے کے لیے قدم بڑھانا پڑے گا اور کہنا پڑے گا، 'میرے خیال میں یہ قابل رسائی نہیں ہے۔' تو، یہ ایک دستی مداخلت ہے۔ جس طرح سے ہم اسے کرتے ہیں وہ ہے ہمارا تخروپن اور رسمی ٹولز ایک ہی ڈیٹا بیس سے کام کرتے ہیں اور ایک دوسرے کی مدد کرتے ہیں۔
فعال حفاظتی ایپلی کیشنز کے لیے بھی یہی منظر نامہ ہے۔ "آپ فنکشنل سیفٹی اور فالٹ ٹالرینس کے لیے جتنا ہو سکے کور کر سکتے ہیں، پھر باضابطہ اقدامات۔ سیکیورٹی کے ساتھ یہ ایک ہی کہانی ہے، اور یہ نقطہ نظر مختلف ڈومینز میں ری پلے کرتا رہتا ہے۔ سیمولیشن کے ساتھ آسان چیزیں حاصل کریں، اس سطح مرتفع تک پہنچیں، اور پھر رسمی طور پر آخری میل طے کریں،" صفر پور نے وضاحت کی۔
ڈومین کے لیے مخصوص فن تعمیرات اپنے منفرد مسائل کا اضافہ کرتے ہیں۔ کیڈینس ہارڈی نے کہا کہ "غیر پروگرام کے قابل ASICs کے برعکس، DSAs مختلف ہیں کیونکہ آپ ان بے شمار طریقوں کی پیش گوئی نہیں کر سکتے ہیں کہ ایک پروگرامر پروسیسر کا استعمال کرے گا۔" "ہر واقعہ کا احاطہ کیا جانا چاہئے، بشمول مکمل طور پر غیر متوقع۔ رسمی ہی واحد راستہ ہے۔ آرم اور انٹیل جیسے پروسیسر ٹکنالوجی کے رہنما یہ جانتے ہیں اور انہوں نے طویل عرصے سے رسمی تصدیق میں سرمایہ کاری کی ہے۔ RISC-V پر عمل درآمد کرنے والی ہر کمپنی کو بھی ایسا ہی کرنا ہے۔ اور ریاضی کے شریک پروسیسرز اور AI/ML انجنوں میں اضافہ نئی رسمی تکنیکوں کو چلا رہا ہے جیسے C/C++ سے RTL ترتیب وار مساوات کی جانچ۔
رسمی حدود
تمام EDA ٹولز کی طرح، تاہم، رسمی کی بھی کچھ حدود ہوتی ہیں۔ سیمنز جائلز نے نوٹ کیا کہ "فارمل میں ایسی چیز ہونے کی شہرت ہے جو مکمل ایس او سی کے مقابلے ماڈیول یا بلاک پر بہتر طریقے سے چلائی جاتی ہے۔" "جب بات طویل، ترتیب وار مسائل کی ہو تو رسمی کو چیلنجز ہوتے ہیں۔ اس کی ایک اچھی مثال یہ ہوگی کہ فلوٹنگ پوائنٹ یونٹ میں ضرب یا تقسیم کے افعال کی تصدیق کے لیے رسمی استعمال کرنا مشکل ہے۔ عمل کا بہترین طریقہ یہ ہے کہ رسمی کو وہ کرنے دیا جائے جو رسمی بہترین کرتا ہے، اور نقلی کو وہ کرنے دیا جائے جو سب سے بہتر کرتا ہے۔ اگر آپ فلوٹنگ پوائنٹ ڈیزائن لیتے ہیں، تو آپ ہر چیز کی تصدیق کر سکتے ہیں، لیکن ضرب اور تقسیم کی فعالیت تخروپن کے ساتھ بہترین طریقے سے کی جاتی ہے تاکہ آپ نقلی افعال کے استعمال میں بہت زیادہ موثر ہوں، اور آپ ان چیزوں کی تصدیق کر رہے ہیں جو ہونا ضروری ہیں۔ وہاں کیا. پھر آپ کو تخروپن کے ذریعے فلوٹنگ پوائنٹ یونٹ کرنے کی ضرورت نہیں ہے۔
جیسا کہ تمام ٹولز کے ساتھ، یہ بھی ایک ایسا علاقہ ہے جہاں ان حدود کو دور کرنے کے لیے بہت زیادہ کام جاری ہے، دونوں تجریدات اور نئی تحقیق کے ذریعے۔ جائلز نے کہا، "ابھی کے لیے، یہ اس پیغام میں شامل ہے کہ کچھ چیزیں ایسی ہیں جو رسمی اچھی کارکردگی کا مظاہرہ کرتی ہیں اور کچھ ایسی ہیں جو نقلی اچھی کارکردگی کا مظاہرہ کرتی ہیں،" جائلز نے کہا۔ "میں ایسا منظر کبھی نہیں دیکھوں گا جہاں رسمی طور پر تخروپن کو ختم کر دے۔ برسوں کی طرح، میں ہمیشہ گیٹ لیول سمولیشن کرنا بند کرنا چاہتا تھا، لیکن یہ کبھی ختم نہیں ہوا۔ ہم اسے رسمی اور نقلی کے ساتھ بھی دیکھیں گے۔
تصدیق کے رسمی طریقے مکمل اور مکمل ہو سکتے ہیں، لیکن کیا پورے بورڈ میں ان کی ضرورت ہونی چاہیے؟
Cadence کے 2014 کے حصول سے پہلے بھی، Jasper نے رسمی ایپس کے تعارف کے ذریعے وسیع تر پھیلاؤ کا آغاز کیا - ماڈل چیکنگ کا استعمال کرتے ہوئے، اکثر خود بخود پیدا ہونے والے دعووں کے ساتھ، عام تصدیقی مسائل کو زیادہ قابل رسائی طریقے سے حل کرنے کے لیے، جس میں رسمی مہارت کی بہت کم سطح کی ضرورت ہوتی ہے، ہردی نے کہا۔
مزید، "کنیکٹیویٹی ایک بہترین مثال ہے اور اپنانے کے لیے سب سے آسان میں سے ایک ہے - ایک اسپریڈ شیٹ میں کنیکٹیویٹی میپ سے دعوے پیدا کریں یا IP-XACT فارم. نقلی کے ساتھ بھی ایسا ہی کیا جا سکتا ہے لیکن یہ تکلیف دہ ہے۔ یہ رسمی طریقہ آسانی سے چپ کی سطح تک پہنچ جاتا ہے کیونکہ بنیادی بلاک کی زیادہ تر فعالیت کو خلاصہ کیا جا سکتا ہے۔ کچھ معاملات میں، یہ ایپس نقلی کام کے بوجھ کو آف لوڈ کر سکتی ہیں، اور قیمت کارنر کیس کیڑے تلاش کرنے میں ہے کیونکہ بے ترتیب ٹول سے تیار کردہ ان پٹ محرک عام طور پر سمولیشن ٹیسٹ بینچز سے زیادہ جامع ہوتا ہے۔ اگرچہ یہ ایپس توثیقی انجینئرز کو رسمی طور پر شروع کرنے کے لیے کارآمد ہیں، شاید ایک 'گیٹ وے' کے طور پر کام کر رہی ہیں، لیکن یہ استعمال کے لحاظ سے آئس برگ کا سرہ ہیں۔ فی الحال، ہم آئس برگ کا بڑا حصہ تلاش کر رہے ہیں، بشمول رسمی توثیق کے رجعت کے استعمال کی اکثریت، پروسیسر پر مبنی DSA ڈیزائنوں کی رسمی جائیداد کی تصدیق کے ساتھ، اور ترتیب وار مساوات کی جانچ، دونوں RTL-to-RTL اور C/ C++ سے RTL،" اس نے مزید کہا۔ "جتنا میں بورڈ میں ایک ضرورت کے طور پر رسمی توثیق مقرر کرنا چاہتا ہوں، اب بھی ایسی مثالیں موجود ہیں جہاں یہ ضروری ہے، اور دوسری مثالیں جہاں نقلی اب بھی بہتر کام کرتی ہے۔ لیکن ہم ڈیزائن کی وہ اقسام دیکھ رہے ہیں جہاں زیادہ تیزی سے بڑھتے ہوئے رسمی تصدیق ضروری ہے۔
جہاں تک یہ سب کچھ کیسے تیار ہوتا ہے، ایسا لگتا ہے کہ EDA ماحولیاتی نظام اس بات کی نشاندہی کرنے کے قریب ہے کہ رسمی تصدیق کو روایتی ایپلی کیشنز سے ہٹ کر کس طرح استعمال کیا جا سکتا ہے۔
جائلز نے نتیجہ اخذ کیا، "یہاں ایپلی کیشنز کا ایک مجموعہ ہے جو کسی بھی وینڈر کے لیے کافی عام ہے جو مخصوص اختتامی استعمال کے لیے رسمی ایپلی کیشنز بنڈل فروخت کرتا ہے۔" "تکنیکی اور کاروباری دونوں نقطہ نظر سے درپیش چیلنجز اور مواقع میں رسمی طور پر ان طریقوں کو استعمال کرنا شامل ہے جس سے تصدیق کی جائے جو پہلے ممکن نہیں تھی، جیسے ہارڈ ویئر میں ٹروجن ہارس کا پتہ لگانا۔ خاص طور پر اوپن سورس ہارڈ ویئر کی اس دنیا میں، یہ ثابت کرنے کے قابل ہونا بہت اچھا ہے کہ اس ڈیزائن میں کچھ بھی نہیں ہے جو اس ڈیزائن میں نہیں ہونا چاہئے۔ یہ عام طور پر توثیقی مسئلہ نہیں ہے جو سمولیشن کے ذریعے حل ہوتا ہے، کیونکہ تخروپن عام طور پر آپ کو معلوم ہوتا ہے کہ آپ کیا ڈھونڈ رہے ہیں، اور آپ صرف یہ یقینی بنانے کی کوشش کر رہے ہیں کہ یہ ایسا کرتا ہے۔ ٹروجن ہارس کا پتہ لگانے کے ساتھ، آپ اب ایسی چیزوں کی تلاش کر رہے ہیں جو معلوم ریاست کی جگہ سے مؤثر طریقے سے باہر ہیں۔ یہ وہ چیز ہے جس میں بہت زیادہ وعدہ ہے۔
متعلقہ مطالعہ
RISC-V مائیکرو آرکیٹیکچرل تصدیق
پروسیسر کی تصدیق کرنا اس بات کو یقینی بنانے سے کہیں زیادہ ہے کہ ہدایات کام کرتی ہیں، لیکن صنعت ایک محدود علمی بنیاد اور چند وقف شدہ ٹولز سے تعمیر کر رہی ہے۔
سیکورٹی کی تصدیق کے لیے نئے تصورات درکار ہیں۔
یہ یقینی بنانا اتنا مشکل کیوں ہے کہ ہارڈ ویئر صحیح طریقے سے کام کرتا ہے اور فیلڈ میں ظاہر ہونے والی کمزوریوں کا پتہ لگانے کے قابل ہے۔
- SEO سے چلنے والا مواد اور PR کی تقسیم۔ آج ہی بڑھا دیں۔
- پلیٹو ڈیٹا ڈاٹ نیٹ ورک ورٹیکل جنریٹو اے آئی۔ اپنے آپ کو بااختیار بنائیں۔ یہاں تک رسائی حاصل کریں۔
- پلیٹوآئ اسٹریم۔ ویب 3 انٹیلی جنس۔ علم میں اضافہ۔ یہاں تک رسائی حاصل کریں۔
- پلیٹو ای ایس جی۔ کاربن، کلین ٹیک، توانائی ، ماحولیات، شمسی، ویسٹ مینجمنٹ یہاں تک رسائی حاصل کریں۔
- پلیٹو ہیلتھ۔ بائیوٹیک اینڈ کلینیکل ٹرائلز انٹیلی جنس۔ یہاں تک رسائی حاصل کریں۔
- ماخذ: https://semiengineering.com/formal-verifications-usefulness-widens/
- : ہے
- : ہے
- : نہیں
- :کہاں
- $UP
- 2014
- a
- قابلیت
- ہمارے بارے میں
- مطلق
- بالکل
- خلاصہ
- ایکسلریٹر
- قابل قبول
- قابل رسائی
- کے مطابق
- اکاؤنٹ
- حاصل
- حصول
- کے پار
- اداکاری
- عمل
- شامل کریں
- شامل کیا
- اپنانے
- منہ بولابیٹا بنانے
- اعلی درجے کی
- پہلے
- AI / ML
- تمام
- ساتھ
- بھی
- ہمیشہ
- am
- رقم
- an
- تجزیہ
- اور
- ایک اور
- جواب
- کوئی بھی
- اب
- کچھ
- ظاہر ہوتا ہے
- درخواست
- ایپلی کیشنز
- نقطہ نظر
- ایپس
- آرکیٹیکچرز
- کیا
- رقبہ
- علاقوں
- بازو
- ارد گرد
- AS
- Asics
- پہلو
- پہلوؤں
- اسمبلی
- اندازہ
- فرض کیا
- یقین دہانی
- At
- بار
- بیس
- کی بنیاد پر
- جنگ
- BE
- کیونکہ
- بن
- بننے
- رہا
- اس سے پہلے
- کیا جا رہا ہے
- گھنٹیوں
- فائدہ مند
- BEST
- بہتر
- کے درمیان
- سے پرے
- بگ
- بٹ
- سیاہ
- بلیک بیلٹ
- بلاک
- بورڈ
- دونوں
- اسیم
- وسیع
- توڑ دیا
- ٹوٹ
- بگ کی اطلاع دیں
- کیڑوں
- عمارت
- بنڈل
- کاروبار
- لیکن
- by
- Cadence سے
- کر سکتے ہیں
- حاصل کر سکتے ہیں
- صلاحیتوں
- صلاحیت رکھتا
- مقدمات
- کیٹرنگ
- کیونکہ
- سی ای او
- کچھ
- تصدیق
- تصدیق کرنا
- چیلنج
- چیلنجوں
- چیلنج
- مشکلات
- تبدیل
- چیک کریں
- جانچ پڑتال
- چپ
- چپس
- کرس
- واضح
- گھڑی
- کوڈ
- آتا ہے
- آرام دہ اور پرسکون
- آنے والے
- کامن
- کمیونٹی
- کمپنیاں
- کمپنی کے
- تکمیلی
- مکمل طور پر
- پیچیدہ
- پیچیدگی
- اجزاء
- کمپیوٹنگ
- تصورات
- اندیشہ
- یہ نتیجہ اخذ کیا
- رابطہ
- غور کریں
- سمجھا
- مسلسل
- سیاق و سباق
- اس کے برعکس
- کنٹرول
- کونے
- درست
- صحیح طریقے سے
- فساد
- مہنگی
- سکتا ہے
- کورس
- احاطہ
- کوریج
- احاطہ کرتا ہے
- بنائی
- تخلیق
- معیار
- اہم
- اس وقت
- وکر
- کرس
- گاہکوں
- سائبرٹیکس
- سائیکل
- اعداد و شمار
- ڈیٹا بیس
- دن
- مردہ
- دہائی
- وقف
- تاخیر
- ڈیلیور
- ترسیل
- ڈیمانڈ
- مطالبہ
- مطالبات
- منحصر ہے
- تعینات
- گہرائی
- ڈیزائن
- ڈیزائنر
- ڈیزائنرز
- ڈیزائننگ
- ڈیزائن
- کے باوجود
- کھوج
- ڈویلپرز
- ترقی
- آلہ
- کے الات
- مختلف
- مختلف
- مشکل
- ڈیجیٹل
- ڈائریکٹر
- تقسیم
- do
- کرتا
- نہیں کرتا
- کر
- ڈومینز
- کیا
- نہیں
- دروازے
- شک
- کارفرما
- ڈرائیور
- ڈرائیونگ
- ہر ایک
- اس سے قبل
- ابتدائی
- سب سے آسان
- آسانی سے
- آسان
- ماحول
- تعلیمی
- موثر
- مؤثر طریقے
- اثرات
- ہنر
- کوشش
- یا تو
- ختم
- گلے لگا لیا
- جذباتی
- آخر
- انجینئر
- انجنیئرنگ
- انجینئرز
- انجن
- اضافہ
- کافی
- کو یقینی بنانے کے
- پوری
- ماحولیات
- مساوات
- خاص طور پر
- ضروری
- Ether (ETH)
- بھی
- کبھی نہیں
- مسلسل بڑھتی ہوئی
- ہر کوئی
- سب
- سب
- سب کی
- سب کچھ
- ہر جگہ
- تیار ہے
- مثال کے طور پر
- مثال کے طور پر
- جامع
- توسیع
- مہارت
- ماہرین
- وضاحت کی
- دھماکے
- تیزی سے
- کپڑے
- عنصر
- ناکامی
- کافی
- واقف
- تیز تر
- خصوصیات
- آراء
- محسوس
- چند
- کم
- میدان
- فائل
- تلاش
- پہلا
- پانچ
- سچل
- بہاؤ
- توجہ مرکوز
- کے لئے
- فارم
- رسمی طور پر
- سے
- مکمل
- تقریب
- فنکشنل
- فعالیت
- افعال
- مستقبل
- حاصل کرنا
- فرق
- جنرل
- عام طور پر
- پیدا
- پیدا ہوتا ہے
- جغرافیہ
- حاصل
- ملتا
- جنات
- دے
- گلوبلائزیشن
- Go
- جا
- اچھا
- ملا
- GPU
- GPUs
- عظیم
- گروپ
- بڑھتے ہوئے
- بڑھتا ہے
- ترقی
- ہوتا ہے
- ہارڈ
- ہارڈ ویئر
- ہے
- ہونے
- he
- سر
- مدد
- ہیسٹنٹ
- پدانکردوست
- ہائی
- مارو
- گھوڑا
- کس طرح
- تاہم
- HTTPS
- بھاری
- انسانی
- i
- شناخت
- کی نشاندہی
- if
- اثر
- نفاذ
- اہم
- in
- شامل
- سمیت
- اضافہ
- صنعت
- ان پٹ
- ہدایات
- انضمام
- انٹیل
- ارادے
- بات چیت
- دلچسپ
- انٹرفیس
- مداخلت
- میں
- تعارف
- بدیہی
- سرمایہ کاری کی
- سرمایہ کاری
- شامل ہے
- IP
- مسئلہ
- مسائل
- IT
- اشیاء
- میں
- ایوب
- فوٹو
- صرف
- صرف ایک
- رکھتے ہوئے
- کلیدی
- قسم
- جان
- علم
- جانا جاتا ہے
- لیبر
- بڑے
- بڑے
- سب سے بڑا
- آخری
- آخری میل
- رہنماؤں
- لیڈز
- سیکھا ہے
- دو
- سطح
- زندگی
- لائف سائیکل
- کی طرح
- حدود
- لمیٹڈ
- لائن
- لکیری
- تھوڑا
- زندگی
- لانگ
- طویل وقت
- اب
- دیکھو
- تلاش
- بہت
- لو
- کم
- کم
- مین سٹریم میں
- اہم
- اکثریت
- بنا
- بنانا
- انتظام
- دستی
- بہت سے
- نقشہ
- نشان
- مارکیٹ
- ریاضی
- معاملہ
- مئی..
- شاید
- مطلب
- پیغام
- طریقہ
- طریقہ کار
- طریقوں
- میل
- موبائل
- ماڈل
- ماڈیول
- زیادہ
- زیادہ موثر
- سب سے زیادہ
- زیادہ تر
- چالیں
- بہت
- ایک سے زیادہ
- ضروری
- my
- ہزارہا
- نام
- فطرت، قدرت
- ضروری ہے
- ضروری
- ضرورت ہے
- ضروریات
- کبھی نہیں
- نئی
- نیا
- اگلے
- اچھا
- نہیں
- غیر ماہرین
- کا کہنا
- کچھ بھی نہیں
- اب
- تعداد
- of
- بند
- اکثر
- on
- ایک
- صرف
- کھول
- اوپن سورس
- کھول دیا
- مواقع
- اصلاح کے
- اصلاح
- or
- حکم
- دیگر
- ہمارے
- باہر
- پر
- پر قابو پانے
- خود
- پیکج
- حصہ
- خاص طور پر
- گزشتہ
- لوگ
- فی
- انجام دینے کے
- کارکردگی
- نقطہ نظر
- پی ایچ ڈی
- غیر معمولی
- رجحان
- ٹکڑا
- پایا
- مقامات
- منصوبہ
- منصوبہ بندی
- پلاٹا
- افلاطون ڈیٹا انٹیلی جنس
- پلیٹو ڈیٹا
- کھیلیں
- ادا کرتا ہے
- پوائنٹ
- پوائنٹس
- ممکن
- طاقت
- پیشن گوئی
- پیش گوئی
- کی موجودگی
- خوبصورت
- مسئلہ
- مسائل
- عمل
- پروسیسر
- پروسیسرز
- مصنوعات
- پروڈکٹ مینجمنٹ
- پیداوار
- پیداوری
- پروگرامر
- منصوبے
- اہمیت
- ممتاز
- وعدہ
- مناسب طریقے سے
- خصوصیات
- جائیداد
- پروٹوکول
- ثابت کریں
- فراہم کرنے والے
- ڈالنا
- سوالات
- سوال
- سوالات
- جلدی سے
- بہت
- آر اینڈ ڈی
- بے ترتیب
- شرح
- قیمتیں
- اصلی
- حقیقی قیمت
- حقائق
- حقیقت
- احساس ہوا
- وجہ
- مناسب
- وجوہات
- تسلیم
- سفارش کی
- کو کم
- مراد
- رجعت
- وشوسنییتا
- رہے
- باقی
- شہرت
- درخواستوں
- ضرورت
- ضرورت
- ضروریات
- کی ضرورت ہے
- تحقیق
- کا جائزہ لینے کے
- انقلاب
- جڑ
- رن
- s
- محفوظ
- سیفٹی
- کہا
- اسی
- کا کہنا ہے کہ
- یہ کہہ
- اسکیل ایبلٹی
- پیمانے
- چھوٹا ہوا
- ترازو
- منظر نامے
- سکیم
- سائنس
- شان
- دوسری
- محفوظ بنانے
- سیکورٹی
- دیکھنا
- دیکھ کر
- دیکھا
- فروخت
- سیمکولیٹر
- سیریل
- مقرر
- منتقل
- قلت
- قلت
- کم سے کم
- ہونا چاہئے
- دکھائیں
- کی طرف
- اہم
- نمایاں طور پر
- سلیکن
- اسی طرح
- صرف
- تخروپن
- بعد
- چھ
- مہارت
- تھوڑا سا مختلف
- چھوٹے
- So
- حل
- حل
- حل
- حل
- کچھ
- کسی
- کچھ
- کبھی کبھی
- ماخذ
- خلا
- مخصوص
- خرچ
- کمرشل
- پھیلانا
- سپریڈ شیٹ
- سٹاف
- مضبوط
- شروع
- حالت
- مرحلہ
- مراحل
- ابھی تک
- محرک
- بند کرو
- کہانی
- ترقی
- کامیاب ہوں
- کامیابی
- اس طرح
- سویٹ
- سمجھا
- اس بات کا یقین
- میٹھی
- کے نظام
- سسٹمز
- لے لو
- ٹیلنٹ
- بات
- بات کر
- ٹیم
- ٹیموں
- ٹیکنیکل
- تکنیک
- ٹیکنالوجی
- ٹیکنالوجی
- سخت
- بتا
- رجحان
- شرائط
- ٹیسٹ
- سے
- کہ
- ۔
- مستقبل
- ماخذ
- دنیا
- ان
- ان
- تو
- وہاں.
- یہ
- وہ
- بات
- چیزیں
- لگتا ہے کہ
- اس
- اچھی طرح سے
- ان
- سوچا
- کے ذریعے
- بھر میں
- وقت
- اوقات
- ٹپ
- کرنے کے لئے
- آج
- رواداری
- بھی
- کے آلے
- اوزار
- سب سے اوپر
- کی طرف
- ٹریس
- سراغ لگانا
- روایتی
- زبردست
- ٹروجن
- ٹروجن گھوڑے
- بھروسہ رکھو
- قابل اعتماد
- کی کوشش کر رہے
- ٹرن
- دو
- قسم
- اقسام
- عام طور پر
- کے تحت
- بنیادی
- سمجھ
- زیر راست
- غیر متوقع
- منفرد
- یونٹ
- جب تک کہ
- us
- استعمال
- استعمال کی شرائط
- استعمال کیا جاتا ہے
- مفید
- رکن کا
- صارفین
- استعمال
- کا استعمال کرتے ہوئے
- عام طور پر
- استعمال
- استعمال کیا
- قیمت
- مختلف
- مختلف اقسام کے
- مختلف
- مختلف
- وسیع
- وینڈر
- دکانداروں
- توثیق
- اس بات کی تصدیق
- تصدیق کرنا
- مہارت حاصل
- بنام
- عمودی
- بہت
- وائس
- حجم
- vs
- نقصان دہ
- چلتا
- چاہتے ہیں
- چاہتے تھے
- چاہتا ہے
- تھا
- راستہ..
- طریقوں
- we
- اچھا ہے
- تھے
- کیا
- جو کچھ بھی
- جب
- چاہے
- جس
- جبکہ
- ڈبلیو
- کیوں
- وسیع
- وسیع پیمانے پر
- گے
- ساتھ
- کے اندر
- بغیر
- کام
- کام کرتا ہے
- دنیا
- فکر
- گا
- تحریری طور پر
- سال
- آپ
- اور
- زیفیرنیٹ