ڈیجیٹل ڈیزائن کی ساخت ایک تنقیدی عمل ہے جو صنعت سے پہلے ڈیجیٹل سرکٹوں کی درستی اور قابل اعتماد کارکردگی کو یقینی بنانے میں مختلف طریقوں اور معیاروں کو شامل کرتا ہے کہ ایک ڈیزائن اپنے ساخت اور مختلف حالات کے تحت مناسب طور پر کام کرتا ہے۔
دوبارہ کوشش
عام طور پر موجود طریقے شامل ہیں، ای میلي، رسمی طور پر قابل استعمال اور تـرـقـت۔ ٹیسٹ مقدمات کے ذریعے ڈیزائن چلانا شامل ہے. فارمي ونـس (انگریزی: Formatical techs) کو ڈیزائن کی خصوصیات کو ثابت کرنے کے لیے ریاضیاتی تکنیک استعمال کرتا ہے. Emulation ہارڈ ویئر-ہے جیسے ٹیسٹيکل ماحول کو تیز تر درستی عمل کے لیے فراہم کرتا ہے۔
ڈیجیٹل ویکیپیڈیا میں معیار
معیارات کو عمل میں لانے اور معیار کی اہمیت یقینی بناتے ہیں۔نوٹیبل معیاروں میں IEE 1800 (SystemVerilog) اور IEE 1801 (UPF) شامل ہیں۔ ان معیارات میں ٹیسٹنگ، طاقت اور بحالی، منصوبوں میں داخلی اور بہترین عملات کی وضاحت کی جاتی ہے۔
وِکٹرِی تکنیک کی مثالیں
مثالیں ٹیسٹ میں شامل ہیں، جہاں مخصوص تنازعات کو آزمایا جاتا ہے، اور کوریج کی طرف، جس کا مقصد تمام ممکنہ ریاستوں کو جانچنا ہے۔
- مصر
- فورمل سرمائی
- برآمد
- پروڈیوس کی بنیاد پر