Intelligent verification
ইন্টেলিজেন্ট ভেরিফিকেশন, ইন্টেলিজেন্ট টেস্টবেঞ্চ অটোমেশন সহ, বৈদ্যুতিন হার্ডওয়্যার ডিজাইনের কার্যকরী যাচাইকরণের একটি রূপ যা যাচাই করতে ব্যবহৃত হয় যে কোনও নকশা ডিভাইস তৈরির আগে নির্দিষ্টকরণের সাথে সামঞ্জস্যপূর্ণ। ইন্টেলিজেন্ট ভেরিফিকেশন নকশা এবং নির্দিষ্টকরণ (গুলি) থেকে প্রাপ্ত তথ্য ব্যবহার করে হার্ডওয়্যার আইপিগুলির মধ্যে এবং এর মধ্যে বাগগুলি প্রকাশ করে। বুদ্ধিমান যাচাইকরণ সরঞ্জামগুলির যাচাইকরণ ফলাফল অর্জনের জন্য যথেষ্ট কম প্রকৌশল প্রচেষ্টা এবং ব্যবহারকারীর দিকনির্দেশনার প্রয়োজন হয় যা একটি টেস্টবেঞ্চ প্রোগ্রাম লেখার মানক পদ্ধতির সাথে মিলিত হয় বা অতিক্রম করে। প্রথম প্রজন্মের বুদ্ধিমান যাচাইকরণ সরঞ্জামগুলি স্বয়ংক্রিয় কভারেজ প্রতিক্রিয়া নামে একটি বৈশিষ্ট্য সহ রিগ্রেশন টেস্টিং নামে পরিচিত যাচাইকরণ প্রক্রিয়ার একটি অংশকে অনুকূলিত করেছে। স্বয়ংক্রিয় কভারেজ প্রতিক্রিয়া সহ, পরীক্ষার বিবরণ স্বয়ংক্রিয়ভাবে লক্ষ্য নকশা কার্যকারিতার সাথে সামঞ্জস্য করা হয় যা অন্যান্য পরীক্ষার দ্বারা পূর্বে যাচাই করা হয়নি (বা "আচ্ছাদিত")। স্বয়ংক্রিয় কভারেজ ফিডব্যাকের একটি মূল বৈশিষ্ট্য হল, একই পরীক্ষার পরিবেশের পরিপ্রেক্ষিতে, সফ্টওয়্যারটি নকশার পরিবর্তনের প্রতিক্রিয়ায় কার্যকরী নকশার কভারেজ উন্নত করতে স্বয়ংক্রিয়ভাবে পরীক্ষাগুলি পরিবর্তন করবে। নতুন বুদ্ধিমান যাচাইকরণ সরঞ্জামগুলি একটি একক, কম্প্যাক্ট, উচ্চ-স্তরের মডেল থেকে একটি টেস্টবেঞ্চ (উদ্দীপনা, কভারেজ এবং চেকিং) থেকে প্রয়োজনীয় কার্যকারিতা অর্জন করতে সক্ষম। একটি একক মডেল ব্যবহার করা যা মূল নির্দিষ্টকরণের প্রতিনিধিত্ব করে এবং সাদৃশ্যপূর্ণ, টেস্টবেঞ্চ উন্নয়ন প্রক্রিয়ায় মানুষের ত্রুটির সম্ভাবনাকে ব্যাপকভাবে হ্রাস করে যা মিসড বাগ এবং মিথ্যা ব্যর্থতা উভয়েরই কারণ হতে পারে। ইন্টেলিজেন্ট ভেরিফিকেশনের অন্যান্য বৈশিষ্ট্যগুলির মধ্যে অন্তর্ভুক্ত থাকতে পারেঃ একটি টেস্টবেঞ্চ প্রোগ্রামের সমতুল্য বা তার উপরে যাচাইকরণের ফলাফল প্রদান করা কিন্তু একটি কম্প্যাক্ট উচ্চ-স্তরের মডেল দ্বারা চালিত যা টেস্টবেঞ্চ প্রোগ্রামগুলির উপর নির্ভরতা হ্রাস করার জন্য সমস্ত স্তরের সিমুলেশন প্রয়োগযোগ্যতা প্রোগ্রামিং ত্রুটি এবং নির্দিষ্টকরণের বিভিন্ন ব্যাখ্যার সুযোগ দূর করা, বিশেষ করে। আইপি এবং এস. ও. সি দলগুলির মধ্যে নির্দিষ্ট কিছু কভারেজ পয়েন্ট কেন সনাক্ত করা হয়নি সে সম্পর্কে নির্দেশনা প্রদান করা। নতুন পরীক্ষা তৈরি করতে নকশা কাঠামোর মাধ্যমে কভারেজ পয়েন্টগুলিতে স্বয়ংক্রিয়ভাবে পথগুলি ট্র্যাক করে। নকশার বিভিন্ন দিকগুলি একই পরীক্ষার সেটগুলিতে কেবল একবার যাচাই করা হয় তা নিশ্চিত করা। একটি সিস্টেমের বিভিন্ন হার্ডওয়্যার এবং সফ্টওয়্যার কনফিগারেশনের জন্য স্বয়ংক্রিয়ভাবে পরীক্ষার স্কেলিং। একই সরঞ্জামের উপর ভিত্তি করে সীমাবদ্ধ এলোমেলো, নির্দেশিত, গ্রাফ-ভিত্তিক, ব্যবহার-কেসের মতো বিভিন্ন যাচাইকরণ পদ্ধতির জন্য সমর্থন। "ইন্টেলিজেন্ট ভেরিফিকেশন" বিদ্যমান লজিক সিমুলেশন টেস্টবেঞ্চ ব্যবহার করে এবং স্বয়ংক্রিয়ভাবে নিম্নলিখিত ধরনের নকশা কভারেজকে লক্ষ্য করে এবং সর্বাধিক করে তোলেঃ কোড কভারেজ শাখা কভারেজ অভিব্যক্তি কভারেজ কার্যকরী কভারেজ বিবৃতি কভারেজ ইতিহাস একটি নকশা কার্যকরীভাবে সঠিক বলে আস্থা অর্জন করা আরও কঠিন হয়ে উঠছে। এই সমস্যাগুলি মোকাবেলা করার জন্য, 1980-এর দশকের শেষের দিকে দ্রুত লজিক সিমুলেটর এবং ভেরিলগ এবং ভিএইচডিএল-এর মতো বিশেষ হার্ডওয়্যার বর্ণনা ভাষা জনপ্রিয় হয়ে ওঠে। 1990-এর দশকে, যাচাইকরণের গুণমান এবং সময়কে আরও উন্নত করার জন্য ভেরা এবং ই-এর মতো হার্ডওয়্যার যাচাইকরণ ভাষার পাশাপাশি সিস্টেমভেরিলগ (2002 সালে) ব্যবহার করে সীমাবদ্ধ র্যান্ডম সিমুলেশন পদ্ধতিগুলি আবির্ভূত হয়েছিল। বুদ্ধিমান যাচাইকরণ পদ্ধতিগুলি সীমাবদ্ধ র্যান্ডম সিমুলেশন পদ্ধতির পরিপূরক, যা নকশা কাঠামোর পরিবর্তে বাহ্যিক ইনপুটের উপর পরীক্ষার প্রজন্মকে ভিত্তি করে। ইন্টেলিজেন্ট ভেরিফিকেশনের উদ্দেশ্য হল সিমুলেশনের সময় নকশার জ্ঞানকে স্বয়ংক্রিয়ভাবে ব্যবহার করা, যা নকশার আকার এবং জটিলতা বৃদ্ধির কারণে গত দশকে ক্রমবর্ধমান গুরুত্বপূর্ণ হয়ে উঠেছে, এবং একটি নকশা তৈরি করা ইঞ্জিনিয়ারিং দল এবং তার সঠিক ক্রিয়াকলাপ যাচাইকারী দলের মধ্যে একটি বিচ্ছেদ। বুদ্ধিমান যাচাইকরণ ক্ষেত্রে যথেষ্ট গবেষণা হয়েছে এবং এই কৌশলটি কাজে লাগানোর জন্য বাণিজ্যিক সরঞ্জামগুলি সবেমাত্র আবির্ভূত হতে শুরু করেছে। আরও দেখুন আনুষ্ঠানিক যাচাইকরণ কার্যকরী যাচাইকরণ বিক্রেতারা ইন্টেলিজেন্ট ভেরিফিকেশন লজিক রিফাইনারি, ইনকর্পোরেটেড অফার করছেন। মেন্টর গ্রাফিক্স সারসংক্ষেপ (নুসিম অধিগ্রহণ) ব্রেকার স্প্রিংসফ্ট (শংসাপত্র অধিগ্রহণ) ভাল্ট্রিক্স সিস্টেমস ফুটনোটস রেফারেন্স "মেন্টর 'বুদ্ধিমান' টেস্টবেঞ্চ জেনারেশন টুল অফার করে", এসডিসিসোর্স, ফেব্রুয়ারি 18,2008। "নুসিম ইন্টেলিজেন্ট ভেরিফিকেশনের উপর ফোকাস করে" ইটাইমস, মে 2008। "লিফটিং দ্য ফগ অন ইন্টেলিজেন্ট ভেরিফিকেশন", এস. সি. ডি. এসসোর্স, মে 2008। বৈদ্যুতিন বর্তনী যাচাইকরণ