E Reuse Methodology
ای ری یوز میتھوڈولوجی (ای آر ایم) ہارڈ ویئر ویریفکیشن لینگویج کی جگہ میں ابھرنے والا پہلا دوبارہ استعمال کا طریقہ کار تھا اور اسے ای ہارڈ ویئر ویریفکیشن لینگویج کے ساتھ مل کر استعمال کیا گیا تھا۔ اسے 2001 میں ویریسٹی ڈیزائن نے ایجاد کیا تھا اور 2002 میں جاری کیا گیا تھا۔ طریقہ کار اس طرح کے موضوعات کے لیے رہنما اصولوں پر مشتمل تھا: فائل کے نام کے کنونشن ٹیسٹ بینچ کوڈ پیکیجنگ گائیڈ لائنز سیکوینس اور میسج کلاس لائبریریوں کی فنکشنل پارٹیشن ای ری یوز میتھوڈولوجی کو تصدیقی انجینئروں نے بڑے پیمانے پر قبول کیا تھا اور یہ ہزاروں کامیاب منصوبوں کے ساتھ سب سے زیادہ وسیع پیمانے پر استعمال ہونے والا اور کامیاب دوبارہ استعمال کا طریقہ کار ہے۔ ای آر ایم نے سسٹم ویرلگ تصدیقی زبان کے لیے کیڈینس ڈیزائن سسٹمز کے ذریعے تیار کردہ یو آر ایم (یونیورسل ری یوز میتھوڈولوجی) کی بنیاد بنائی۔ یو آر ایم، مینٹر گرافکس کے اے وی ایم کے تعاون کے ساتھ، بعد میں او وی ایم (اوپن ویریفکیشن میتھوڈولوجی) بن گیا، اور بالآخر یو وی ایم (یونیورسل ویریفکیشن میتھوڈولوجی) بن گیا۔ ویریسٹی کے صفحہ اے آر ایم/ویریسٹی پر ای آر ایم مزید پڑھنا ای آر ایم استعمال ہارڈ ویئر کی تصدیق کی زبانوں پر مشترکہ پریس ریلیز