সম্ভাব্য মিথস্ক্রিয়া সংখ্যা বৃদ্ধির সাথে সাথে চিপ ডিজাইনের আরও প্রায়শই এবং আরও জায়গায় আনুষ্ঠানিক যাচাইকরণ স্থাপন করা হচ্ছে, এবং সেই চিপগুলি আরও সমালোচনামূলক অ্যাপ্লিকেশনগুলিতে ব্যবহৃত হয়।
অতীতে, অনেক আনুষ্ঠানিক যাচাই একটি চিপ সঠিকভাবে কাজ করবে কিনা তার উপর দৃষ্টি নিবদ্ধ করা হয়েছিল। কিন্তু ডিজাইনগুলি আরও জটিল এবং ভিন্নধর্মী হয়ে ওঠার সাথে সাথে এবং ব্যবহারের ক্ষেত্রে পরিবর্তনের সাথে সাথে, বিভাজনের প্রভাব মূল্যায়ন থেকে শুরু করে নীরব ডেটা দুর্নীতির উত্স সন্ধান পর্যন্ত সমস্ত কিছুতে আনুষ্ঠানিক যাচাইকরণ ব্যবহার করা হচ্ছে। এমনকি এটি সাইবার আক্রমণের সম্ভাব্য ভেক্টর সনাক্ত করতে এবং একটি ডিভাইসের মধ্যে কীভাবে শক্তি সরবরাহ করা হয় এবং ব্যবহার করা হয় তা সনাক্ত করতে ব্যবহার করা হচ্ছে।
"লো-পাওয়ার ডিজাইনটি অনেক দিন ধরেই ছিল, কিন্তু এটি এমন একটি পদ্ধতি ছিল যা বেশিরভাগ মোবাইল চিপগুলির জন্য গ্রহণ করা হয়েছিল," শন সাফারপুরের মতে, R&D গ্রুপের পরিচালক সিনোপসি' ইডিএ গ্রুপ। “এখন এটা বোর্ড জুড়ে. একইভাবে, আমরা এক্সিলারেটরগুলিতে আরও বেশি AI/ML ব্যবহার করতে দেখছি এবং প্রতি শক্তিতে আপনি যে পরিমাণ কাজ করতে পারেন তা একটি প্রধান ড্রাইভার। তাই এখন প্রত্যেকের জন্য, তারা যাই করুক না কেন, কম-পাওয়ার ডিজাইন একটি বড় উদ্বেগের বিষয়। আনুষ্ঠানিক যাচাইকরণের সাথে এটির কী সম্পর্ক তা হল যে কিছু নির্দিষ্ট সমস্যাগুলি সমাধান করার জন্য আনুষ্ঠানিক যাচাইকরণ ব্যবহার করা যেতে পারে।"
এই আর শুধু সম্পর্কে ঘড়ি গেটিং অপ্টিমাইজেশান, যা সবকিছু সঠিক কিনা তা নিশ্চিত করতে সিমুলেশন রিগ্রেশন পুনরায় চালানো জড়িত। আজ, একটি সিস্টেমের অন্যান্য উপাদানগুলির প্রেক্ষাপটে এবং কখনও কখনও সিস্টেমগুলির মধ্যে শক্তি বিবেচনা করা প্রয়োজন। আনুষ্ঠানিকতা ছাড়া এটি উল্লেখযোগ্যভাবে আরও বেশি সময় নেবে, যদি এটি আদৌ করা যায়। এটি বিভিন্ন ব্যবহারের ক্ষেত্রে এবং কাজের চাপের পরিপ্রেক্ষিতে পরীক্ষা করা দরকার, যেখানে বিদ্যুৎ সরবরাহ থেকে ব্যবহার পর্যন্ত সনাক্ত করা প্রয়োজন।
"আপনি যদি ঘড়ির গেটিং করছেন, আমরা ঘড়ির গেটিং সহ এবং ছাড়াই বিশ্লেষণ করতে পারি এবং কার্যকারিতা একই কিনা তা নিশ্চিতভাবে আপনাকে বলতে পারি, বা পথে আপনার একটি বাগ এবং কিছু ভেঙে গেছে কিনা," Safarpour বলেছেন। "ব্যবহারকারীর অনুরোধের উপর ভিত্তি করে, এখন একটি ইউপিএফ ফাইলের মাধ্যমে পাওয়ার ইন্টেন্ট বিবেচনা করাও সম্ভব। পাঁচ-ছয় বছর আগেও আমাদের কাছে এমন কোনো অনুরোধ ছিল না। এখন তারা এত প্রসিদ্ধ, লোকে বলছে, আমি সম্পত্তি যাচাই করি। আমি আমার দাবি আছে. কিন্তু এখন আমি আমার ইউপিএফ-এর উপস্থিতিতে সেই দাবিগুলো যাচাই করতে চাই। আমি SoC লেভেল কানেক্টিভিটি চেকিং করি,' যা অন্য একটি নির্দিষ্ট অ্যাপ্লিকেশন। কিন্তু এটি অসম্পূর্ণ যদি না আপনি ডিজাইনের সম্পূর্ণ UPF বিবেচনা করেন। ফর্মাল এই খুব নির্দিষ্ট এলাকায় যেতে সক্ষম যাতে ব্যবহারকারীরা বলতে পারে, 'এক সেকেন্ড অপেক্ষা করুন, আমাদের সম্পূর্ণ রিগ্রেশন স্যুট পুনরায় করার দরকার নেই। আমরা এই সুনির্দিষ্ট সমস্যাগুলো নিতে পারি এবং সেগুলোর সম্পূর্ণ সমাধান করতে পারি।' এটাই আনুষ্ঠানিকতার আসল মূল্য। এটি প্রকৃতিতে সম্পূর্ণ, তাই আপনি যখন আপনার সম্পূর্ণ পরীক্ষার পরিকল্পনাটি দেখছেন, এবং আপনি এই দিকগুলির কিছুর দিকে তাকাচ্ছেন, তা কম শক্তি হোক বা নিরাপত্তা হোক, আমরা এই সমস্ত কিছুতে যেতে পারি। আপনার পরীক্ষার পরিকল্পনায় এগুলোর জন্য আপনার নির্দিষ্ট লাইন আইটেম থাকবে। যাদের মধ্যে কিছু আপনি যেতে পারেন এবং আনুষ্ঠানিক যাচাইকরণের মাধ্যমে সম্পূর্ণভাবে সমাধান করতে পারেন, যেটি আজকাল সমস্যার স্থান বড় হওয়ার সাথে সাথে এটির প্রাধান্য বৃদ্ধির অন্যতম কারণ।"
সহজ কথায়, কভারেজ ফাঁক যা অতীতে গ্রহণযোগ্য ছিল যখন কম বৈশিষ্ট্য ছিল এবং জীবনচক্র ছোট ছিল আজ অনেক অ্যাপ্লিকেশনে অগ্রহণযোগ্য।
"সবাই সর্বদা ক্রমবর্ধমান জটিলতা সম্পর্কে কথা বলে, এবং অনেক লোক সঠিকভাবে এটিকে ভিন্নভাবে কাজ করার কারণ হিসাবে ব্যবহার করবে," ক্রিস গাইলস বলেছেন, স্ট্যাটিক এবং আনুষ্ঠানিক সমাধানগুলির জন্য পণ্য ব্যবস্থাপনার প্রধান সিমেন্স ইডিএ. “যখন আমরা বাজারের সাফল্য, এবং সাধারণ উন্নয়ন প্রক্রিয়ার দিকে তাকাই, তখন আমরা যা দেখি তা হল যাচাইকরণে বিনিয়োগের বহু-দশক-দীর্ঘ বৃদ্ধি সত্ত্বেও, এটি জটিলতার বৃদ্ধির সাথে তাল মিলিয়ে চলছে না। তাই যখন আমরা সকলেই স্বীকার করি যে জটিলতা একটি ক্রমাগত বৃদ্ধি পাচ্ছে, আমরা একটি শিল্প হিসাবে এটিকে কীভাবে সাড়া দিয়েছি তা ততটা কার্যকর নয় যতটা হওয়া দরকার। গত কয়েক বছরে দেখা গেছে যে পরিবর্তনটি বিশ্ব সিলিকনের দাবি করছে, এবং এখানেই আনুষ্ঠানিক যাচাইকরণ একটি পরম প্রয়োজন হয়ে উঠছে। বিশ্ব আজ সিলিকনের জন্য যা দাবি করছে তা একটি ভিন্ন যাচাই পদ্ধতি। আমরা যা দাবি করছি তা আর জটিলতা সম্পর্কে নয়। এটা নিরাপত্তা সম্পর্কে. এটা নিরাপত্তা সম্পর্কে. এটা বিশ্বাস সম্পর্কে. এটা আশ্বাস সম্পর্কে. এবং এই সমস্ত জিনিসগুলি একটি লিনিয়ার সিমুলেশন পদ্ধতির সাথে প্রমাণ করা খুব কঠিন।"
এটি, ঘুরে, আনুষ্ঠানিক যাচাইকরণের দাবিতে একটি বিস্ফোরণ তৈরি করেছে। "এখানেই আনুষ্ঠানিক উৎকর্ষ, " জাইলস বলেছেন। "এর সম্পূর্ণ প্রকৃতির কারণে, আনুষ্ঠানিক যাচাইকরণ চূড়ান্তভাবে প্রমাণ করতে পারে যে একটি নকশা নিরাপদ, নিরাপদ বা বিশ্বস্ত। এই বৈশিষ্ট্যগুলিকে প্রত্যয়িত করার জন্য শিল্পে অনেক কাজ করা হচ্ছে, তাই একটি প্রবাহ থাকা যা সেই সার্টিফিকেশন তৈরি করে তা গুরুত্বপূর্ণ। এখানে আনুষ্ঠানিকতা একেবারে অপরিহার্য। আপনি যদি আইপি শিল্পের দিকে তাকান, আইপি কোম্পানিগুলি অগত্যা জানে না যে তাদের আইপি কোন শেষ পণ্যে হতে চলেছে, তাই তাদের এই ধরণের প্রশ্নের জন্য পরিকল্পনা করতে হবে। আমি কিভাবে জানি যে এটি একটি সুরক্ষিত নকশা? আমি কিভাবে জানি যে এটি একটি বিশ্বস্ত নকশা? আমি কীভাবে জানব যে মানুষের জীবন নিয়ন্ত্রণে রাখা নিরাপদ? এগুলি এমন জিনিস যা এমনকি আইপি দলগুলিকেও আজকে চিন্তা করতে হবে।"
পিট হার্ডি, সিস্টেম অ্যান্ড ভেরিফিকেশন গ্রুপের পণ্য ব্যবস্থাপনা পরিচালক সুরের মুর্ছনা, বলেছেন তিনি গত এক দশকে আনুষ্ঠানিক যাচাইকরণের ব্যবহারে অসাধারণ বৃদ্ধি দেখেছেন। “কোন সন্দেহ নেই যে এটি ব্যাপক মূলধারার ব্যবহারে 'খাদ অতিক্রম করেছে'। এটি বেশিরভাগ শীর্ষ অর্ধপরিবাহী সংস্থাগুলির জন্য যাচাইকরণ অস্ত্রাগারে একটি অপরিহার্য সরঞ্জাম।"
ক্রমবর্ধমান জটিলতা, উভয় উন্নত-নোড SoC-এর পাশাপাশি প্যাকেজে ভিন্ন ভিন্ন সমাবেশের জন্য, আরও যাচাইকরণের প্রয়োজন। "যাচাইকরণের প্রয়োজন নকশা জটিলতার সাথে দ্রুত প্রসারিত হতে থাকে," হার্ডি বলেন। “মূল প্রভাব দ্বিগুণ হয়েছে। প্রথমত, আইপি-ভিত্তিক শ্রেণিবিন্যাস যাচাইয়ের সাথে, বিভাজন-এন্ড-কনকার যাচাইকরণের সাফল্যের একটি প্রধান কারণ হয়েছে – আইপি ব্লক বা সাবসিস্টেমটি পুঙ্খানুপুঙ্খভাবে যাচাই করুন, তারপরে সঠিক ইন্টিগ্রেশন পরীক্ষা করুন এবং পরবর্তী স্তরে কিছুই ভাঙা হয়নি। আইপি-ভিত্তিক যাচাইকরণের জন্য, আনুষ্ঠানিক যাচাইকরণ অনেকের জন্য আনুষ্ঠানিক সাইনঅফ অর্জনের জন্য স্কেল করেছে, কিন্তু সব ধরনের আইপি নয়। আনুষ্ঠানিক স্কেলেবিলিটির বড় অগ্রগতি সত্ত্বেও রাষ্ট্রীয় স্থান এখনও একটি সমস্যা হতে পারে। উদাহরণস্বরূপ, জটিল সিরিয়াল প্রোটোকলগুলি আনুষ্ঠানিক যাচাইকরণের জন্য চ্যালেঞ্জিং থেকে যায় - অনুক্রমিক গভীরতা প্রায়শই খুব বেশি হয়। কিছু আনুষ্ঠানিক কৌশল চিপ-স্তরে স্কেল করতে পারে, তবে শুধুমাত্র কিছু সীমিত উপায়ে - বড় ডিজিটাল SoC-এর জন্য সম্পূর্ণ আনুষ্ঠানিক সাইনঅফ খুব চ্যালেঞ্জিং রয়ে গেছে।"
প্রসেসর-ভিত্তিক ডিজাইন সবসময়ই চ্যালেঞ্জিং, কিন্তু যখন তারা ডোমেন-নির্দিষ্ট আর্কিটেকচার ব্যবহার করে তখন সেগুলো যাচাই করা বিশেষভাবে কঠিন। "ব্যাপকভাবে-প্রোগ্রামেবল ডিজাইনে একটি বিশাল বৃদ্ধি রয়েছে - মাল্টি-প্রসেসর আর্কিটেকচারগুলি উল্লম্ব প্রয়োগের উপর নির্ভর করে প্রসেসর কোরের অনেক সমজাতীয় বা ভিন্ন ভিন্ন অ্যারে ব্যবহার করে," তিনি উল্লেখ করেছেন। “অ্যাপ্লিকেশন প্রসেসরের জন্য, আর্ম বনাম x86 আইএসএ যুদ্ধ এখন RISC-V দ্বারা উন্মুক্ত করা হয়েছে। জিপিইউগুলি দীর্ঘকাল ধরে রয়েছে, তবে অন্যান্য অনেক ধরণের গণিত সহ-প্রসেসর এবং এক্সিলারেটর সাধারণ বিষয়, বিশেষ করে এখন এআই/এমএল বিপ্লব দ্বারা চালিত। প্রত্যেকেই তাদের ক্ষমতা, কর্মক্ষমতা, এবং এলাকার প্রয়োজনের জন্য অপ্টিমাইজ করা তাদের নিজস্ব অ্যাপ্লিকেশন এবং গণিতের কোর ডিজাইন করছে।" ক্যাডেন্স এই ঘটনাটিকে ডোমেন-নির্দিষ্ট আর্কিটেকচার (DSA) হিসাবে উল্লেখ করে।
নির্ভরযোগ্যতা সম্পর্কে উদ্বেগগুলি এমনকি অ-গুরুত্বপূর্ণ ডিভাইসগুলিতেও ছড়িয়ে পড়ছে। "প্রতিটি নকশারই একটি আনুষ্ঠানিক যাচাইকরণ সমাধান থাকতে পারে, যার মধ্যে গাণিতিক-প্রধান নকশা সহ," আশিস দরবারি, সিইও বলেছেন স্বতঃসিদ্ধ. "পাটিগণিত-প্রধান নকশা সবচেয়ে বড় আনুষ্ঠানিক যাচাইকরণ সরঞ্জাম সরবরাহকারীদের থেকে উন্নত সমাধানগুলি থেকে উপকৃত হচ্ছে, যার সবকটিতেই এমন সমাধান রয়েছে যা গাণিতিক যাচাইকরণের দিকে ক্যাটারিং করে, বিশেষ করে ফ্লোটিং পয়েন্টের দিকে৷ জিনিসগুলির বড় পরিকল্পনায়, এটি অগত্যা একটি বড় পরিমান কাজের নয়, তবে এটি আমাদের পক্ষে তাত্পর্যপূর্ণ এবং যথেষ্ট গুরুত্বপূর্ণ যে আমরা অন্য দিকে তাকাই না।"
এটি প্রবাহের অনেক আগে আনুষ্ঠানিক ব্যবহারের জন্য দরজা খুলে দিয়েছে, যেখানে এটি ডিজাইন-সম্পর্কিত বিলম্বগুলি বন্ধ করতে এবং প্রকৌশল সম্প্রদায়ের বিস্তৃত অংশ জুড়ে ব্যবহার করা যেতে পারে। কিন্তু এতে প্রতিভার ঘাটতিও তৈরি হয়েছে, কারণ সবাই লেখালেখিতে পারদর্শী নয় গবেষকেরা বিভিন্ন ধরনের বিভিন্ন অ্যাপ্লিকেশন জুড়ে।
দরবারি বলেন, “সিলিকনের ব্যবসায় যুক্তিসঙ্গত নামধারী প্রত্যেকেই, সেটা জিপিইউ হোক বা প্রসেসর কোম্পানি, বা ফ্যাব্রিক কোম্পানি, আনুষ্ঠানিক ব্যবহার করছে”। “যারা হার্ডওয়্যার তৈরি করছে তারা সবাই আনুষ্ঠানিক ব্যবহার করছে। এবং তাদের মধ্যে কেউ কেউ এত আনুষ্ঠানিকতা করতে চায়, কিন্তু তারা যথেষ্ট প্রতিভা পায়নি।”
দত্তক নেওয়ার হারও পরিবর্তিত হয়। "কিছু আনুষ্ঠানিক যাচাইয়ের সাথে খুব পরিচিত এবং আরামদায়ক, এটি কী করতে পারে তা বোঝে এবং এটিকে চ্যালেঞ্জ করে," উল্লেখ করেছেন সিমেন্স' জাইলস৷ "অন্যরা একটু বেশি দ্বিধাগ্রস্ত, কারণ এটি কখনও কখনও একটি বিজ্ঞান প্রকল্পের মতো অনুভব করতে পারে, বা একটি শিক্ষাগত প্রচেষ্টার প্রয়োজন হয়৷ যখন আনুষ্ঠানিকভাবে পরিচিত নয় এমন কেউ যখন আনুষ্ঠানিক যাচাইকরণের পরামর্শ দেন, তখন তাদের প্রথম চিন্তা হয়, 'এখন আমার কর্মীদের পিএইচডি করতে হবে। আমরা আমাদের প্রকল্প চালু পেতে আছে. আমি কিভাবে এটা করতে যাচ্ছি?' এবং এটি দত্তক নেওয়ার বিভিন্ন মাত্রার দিকে পরিচালিত করে।"
কিছু কোম্পানিতে, আনুষ্ঠানিক অনেক প্রয়োজনীয় দক্ষতার মধ্যে একটি হয়ে উঠেছে। এটি একটি উল্লেখযোগ্য পরিবর্তন। আনুষ্ঠানিক যাচাইকরণের প্রাথমিক দিনগুলিতে, এটি অনুমান করা হয়েছিল যে প্রকৌশলীদের একটি ছোট দল সরঞ্জামগুলি ব্যবহারে দক্ষতা অর্জন করবে।
"আমরা বুঝতে পেরেছি যে ডিজাইনার, যাচাইকরণ প্রকৌশলী, জীবনের সকল স্তরের প্রকৌশলীরা প্রযুক্তিটি ব্যবহার করতে পারে," Synopsys' Safarpour বলেছেন৷ “এবং এটি সেই ব্যবহারকারীর জন্য এটিকে আরও স্বজ্ঞাত করে তোলার জন্য EDA টুল ডেভেলপারদের উপর নির্ভর করে। আমাদের বিভিন্ন ব্যক্তিত্ব, বিভিন্ন টুপি আছে। এখন, আপনি যদি একজন ডিজাইনার হন, আপনার একটু ভিন্ন ইন্টারফেসের প্রয়োজন হতে পারে। আপনি আপনার আনুষ্ঠানিক ব্ল্যাক বেল্টের চেয়ে ভিন্ন কোণ থেকে এটিতে আসছেন এবং আপনি যে ঘণ্টা এবং বাঁশিগুলি খুঁজছেন তা একেবারেই আলাদা। টুল ডেভেলপার হিসেবে, আমরা আমাদের ব্যবহারকারীদের কাছ থেকে শিখেছি যারা টুলগুলি থেকে সবচেয়ে বেশি সুবিধা পেতে পারে। যে দিক থেকে, এছাড়াও, বার নিচু করা হয়েছে. আজ, যখন আমি প্রশ্ন পাই, বা গ্রাহকদের সাথে কথা বলি, তখন অনেক অ-বিশেষজ্ঞ আছেন যারা প্রথাগত আনুষ্ঠানিক বিশেষজ্ঞদের চেয়ে বর্ধিতকরণের অনুরোধ করছেন বা আমাদের প্রতিক্রিয়া দিচ্ছেন।"
এমুলেশন বনাম আনুষ্ঠানিক বনাম সিমুলেশন
যাচাইকরণ প্রবাহের অন্যান্য অটলদের মধ্যে রয়েছে সিমুলেশন এবং ইমুলেশন। কিন্তু নির্দিষ্ট ডিজাইনের জন্য, প্রতিটি যাচাইকরণ টুলের প্রয়োজন নাও হতে পারে।
"এমন কিছু জিনিস আছে যা আনুষ্ঠানিক যাচাইকরণের জন্য উপযুক্ত যা সিমুলেশনের জন্য উপযুক্ত নয় এবং এর বিপরীতে," সিমেন্স' জাইলস বলেছেন। “এর একটি ভালো উদাহরণ হল কানেক্টিভিটি চেকিং। অনুকরণের প্রক্রিয়ার মধ্য দিয়ে যাওয়া যে সমস্ত আন্তঃসংযোগগুলি, বিট করে, সঠিক, একটি মোটামুটি দীর্ঘ সিরিয়াল প্রক্রিয়া। আপনি যদি এক দৌড়ে এটি সম্পূর্ণভাবে করতে পারেন, তাহলে আপনি সেই সিমুলেশন চক্রগুলি নিতে পারেন এবং সিমুলেশনটি সবচেয়ে ভাল কী করে তার জন্য সেগুলি ব্যবহার করতে পারেন। তাই এটি একটি উত্পাদনশীলতা খেলা. শিল্প বিশ্বায়ন মডেল থেকে আঞ্চলিককরণ বা জাতীয়করণ মডেলে চলে যাওয়ার সাথে সাথে আরেকটি বিষয় স্পষ্ট - এবং আমাদের সারা বিশ্বে একাধিকবার সিলিকন ডিজাইন, উন্নয়ন এবং উত্পাদনের ইকোসিস্টেমকে প্রতিলিপি করতে হবে - তা হল শ্রমের ঘাটতি রয়েছে বিশ্বজুড়ে প্রায় সর্বত্র ভবিষ্যদ্বাণী করা হয়েছে। এবং এটি ডিজাইন জটিলতার সাথে কিছু করার নেই। এটি বিশ্বের ভূ-রাজনৈতিক এবং সামষ্টিক-অর্থনৈতিক বাস্তবতার সাথে সম্পর্কিত। এটি সর্বত্র সুযোগ সৃষ্টি করছে। এবং বাস্তবতা হল, সেই পরিবেশে সফল হওয়ার জন্য আমাদের জনগণের থেকে আরও বেশি উত্পাদনশীলতা প্রয়োজন। আনুষ্ঠানিক বা দক্ষ যাচাইকরণ ব্যবহার করা, সিমুলেশন চক্রগুলিকে মুক্ত করা যা সিমুলেশন সবচেয়ে ভাল করে তা করার জন্য, এখন এবং ভবিষ্যতে উন্নয়নের একটি গুরুত্বপূর্ণ অংশ। সুতরাং এই দুটি জিনিস — উৎপাদনশীলতার অংশ এবং সেইসাথে বিশ্ব আজ সিলিকনে কী স্থাপন করছে তার দাবির উত্তর দেওয়া, এবং নিরাপত্তা ও নিশ্চয়তা, আস্থা এবং নিরাপত্তার ক্ষেত্রে — এইগুলিই কারণ আমি মনে করি যে কোনও ক্ষেত্রে আনুষ্ঠানিক যাচাইকরণ একেবারেই প্রয়োজন। উন্নয়ন।"
কিছু ক্ষেত্রে, একাধিক ধরনের টুলের প্রয়োজন হয়। দরবারি কভারেজ প্রয়োজনীয়তার উপর ভিত্তি করে একটি ওভারল্যাপের দিকে নির্দেশ করে, সেইসাথে বিভিন্ন বিক্রেতাদের কাছ থেকে বিভিন্ন সরঞ্জামের ক্ষমতা। "এখনও ভিন্নতা আছে," তিনি বলেন। “ডিবাগ হল সবচেয়ে আকর্ষণীয়। ডিবাগ হল যেখানে আমি স্বল্পতম সময়ে ব্যর্থতার মূল কারণটি পেতে পারি এবং এটি এমন একটি এলাকা যেখানে আমরা কারণগুলিকে মূল করার জন্য অনেক সময় ব্যয় করেছি।"
সিমুলেশন চক্র হ্রাস করার জন্য আনুষ্ঠানিক যাচাইকরণ এবং সিমুলেশনের মধ্যে একটি ইন্টারপ্লে রয়েছে, আনুষ্ঠানিক যাচাইকরণের সাথে যা ইঞ্জিনিয়ারিং দলের কাছে আরও ব্যয়বহুল।
"আপনি কখনই যথেষ্ট সিমুলেশন করতে পারবেন না, তাই সেই চাহিদা সীমাহীন," Safarpour বলেছেন। “সবাই সিমুলেশন করতে চায়, কিন্তু এর জন্য তাদের কাছে পর্যাপ্ত গণনা নেই। যাইহোক, সিমুলেশন এবং আনুষ্ঠানিক যাচাইকরণ প্রযুক্তি প্রকৃতিতে বেশ পরিপূরক, এবং আমরা এটি একাধিক ক্ষেত্রে দেখতে পাই। কভারেজ, সিমুলেশন সহ, আপনি খুব সহজেই 80%, 85%, সম্ভবত 90% কভারেজ পেতে পারেন এবং তারপরে যা হয় তা হল যে আপনি দ্রুত বক্ররেখায় একটি মালভূমিতে পৌঁছান। তারপর আছে যে অন্য 5%. সাইন-অফ করার মানদণ্ডের উপর নির্ভর করে, আরও 5% বা তারও বেশি, এবং আপনি এত বেশি র্যান্ডমাইজেশন করতে পারেন যে আমরা এখনও সেগুলিকে আঘাত করতে পারি না। সেই 5% হল আনুষ্ঠানিকতার জন্য মিষ্টি জায়গা, কারণ সম্ভাবনা হল যে 5% হয় এমন জিনিস যা আঘাত করা কঠিন, যেমন কর্নার কেস, যা আনুষ্ঠানিকভাবে ভাল, অথবা সেগুলি ডেড কোড, মানে যতই হোক না কেন সিমুলেশন আপনি এটা আঘাত করতে পারবেন না. এটি আপনাকে একটি প্রশ্নবোধক চিহ্ন দিয়ে ফেলে, এবং তারপরে কিছু ইঞ্জিনিয়ারকে সেই কোডটি পর্যালোচনা করতে এবং বলতে হবে, 'আমি মনে করি এটি পৌঁছানো সম্ভব নয়।' সুতরাং, এটি একটি ম্যানুয়াল হস্তক্ষেপ। আমরা যেভাবে এটি করি তা হল আমাদের সিমুলেশন এবং আনুষ্ঠানিক সরঞ্জামগুলি একই ডাটাবেস থেকে কাজ করে এবং একে অপরকে সাহায্য করে।"
কার্যকরী নিরাপত্তা অ্যাপ্লিকেশনের জন্য একই দৃশ্যকল্প কাজ করে। "আপনি কার্যকরী নিরাপত্তা এবং ত্রুটি সহনশীলতার জন্য যতটা পারেন কভার করতে পারেন, তারপরে আনুষ্ঠানিক পদক্ষেপগুলি। এটি নিরাপত্তার সাথে একই গল্প, এবং এই পদ্ধতিটি বিভিন্ন ডোমেনে রিপ্লে চলতে থাকে। সিমুলেশনের সাথে সহজ জিনিসগুলি সম্পন্ন করুন, সেই মালভূমিতে যান এবং তারপরে শেষ মাইলটি আনুষ্ঠানিকভাবে করুন, ”সাফারপুর ব্যাখ্যা করেছেন।
ডোমেন-নির্দিষ্ট আর্কিটেকচার তাদের নিজস্ব অনন্য সমস্যা যোগ করে। "অ-প্রোগ্রামেবল ASIC-এর বিপরীতে, DSA গুলি আলাদা কারণ আপনি একটি প্রোগ্রামার প্রসেসর ব্যবহার করবেন এমন অসংখ্য উপায়ে আপনি ভবিষ্যদ্বাণী করতে পারবেন না," ক্যাডেন্সের হার্ডি বলেছেন। “প্রতিটি ঘটনা অবশ্যই কভার করতে হবে, সম্পূর্ণ অপ্রত্যাশিত সহ। আনুষ্ঠানিকতাই একমাত্র উপায়। আর্ম এবং ইন্টেলের মতো প্রসেসর প্রযুক্তির নেতারা এটি জানেন এবং দীর্ঘ সময় ধরে আনুষ্ঠানিক যাচাইকরণে বিনিয়োগ করেছেন। প্রতিটি কোম্পানি তাদের নিজস্ব RISC-V বাস্তবায়ন করছে তাদের একই কাজ করতে হবে। এবং গণিত সহ-প্রসেসর এবং এআই/এমএল ইঞ্জিনের বৃদ্ধি C/C++ থেকে RTL অনুক্রমিক সমতা যাচাইয়ের মতো নতুন আনুষ্ঠানিক কৌশলগুলিকে চালিত করছে।"
আনুষ্ঠানিকতার সীমা
সমস্ত EDA সরঞ্জামের মত, তবে, আনুষ্ঠানিক কিছু সীমাবদ্ধতা আছে। "ফর্মাল এমন কিছু হওয়ার খ্যাতি আছে যা একটি সম্পূর্ণ SoC থেকে একটি মডিউল বা ব্লকে ভাল চালানো হয়," সিমেন্স' জাইলস উল্লেখ করেছেন। “যখন দীর্ঘ, অনুক্রমিক সমস্যার কথা আসে তখন আনুষ্ঠানিকতার চ্যালেঞ্জ থাকে। এটির একটি ভাল উদাহরণ হল একটি ফ্লোটিং পয়েন্ট ইউনিটে গুণ বা ভাগ ফাংশন যাচাই করতে আনুষ্ঠানিক ব্যবহার করা চ্যালেঞ্জিং। কর্মের সর্বোত্তম পদ্ধতি হল আনুষ্ঠানিককে যা সবচেয়ে ভাল করে তা করতে দেওয়া এবং সিমুলেশনকে যা সবচেয়ে ভাল করে তা করতে দেওয়া। আপনি যদি একটি ফ্লোটিং পয়েন্ট ডিজাইন নেন, আপনি সবকিছু যাচাই করতে পারেন, তবে গুণ ও ভাগ করার কার্যকারিতা সিমুলেশনের মাধ্যমে সবচেয়ে ভাল হয় তাই আপনি সিমুলেশন ফাংশনগুলির ব্যবহারে অনেক বেশি দক্ষ এবং আপনি যে জিনিসগুলি হতে হবে তা যাচাই করছেন। সেখানে করা তাহলে আপনাকে সিমুলেশনের মাধ্যমে একটি সম্পূর্ণ ফ্লোটিং পয়েন্ট ইউনিট করতে হবে না।"
সমস্ত সরঞ্জামগুলির মতো, এটিও এমন একটি ক্ষেত্র যেখানে বিমূর্ততা এবং নতুন গবেষণা উভয়ের মাধ্যমে সেই সীমাবদ্ধতাগুলি কাটিয়ে উঠতে প্রচুর কাজ চলছে। "আপাতত, এটি বার্তার মধ্যে ফিড করে যে কিছু জিনিস রয়েছে যা আনুষ্ঠানিকভাবে ভাল করে এবং কিছু যা সিমুলেশন ভাল করে," জাইলস বলেছিলেন। “আমি কখনই এমন একটি দৃশ্য দেখতে পাব না যেখানে আনুষ্ঠানিকভাবে সিমুলেশনকে সম্পূর্ণরূপে বাদ দেয়। বছরের পর বছর ধরে, আমি সর্বদা গেট-লেভেল সিমুলেশন করা বন্ধ করতে চেয়েছিলাম, কিন্তু তা কখনই শেষ হয়নি। আমরা এটি আনুষ্ঠানিক এবং সিমুলেশনের সাথেও দেখব।"
আনুষ্ঠানিক যাচাই পদ্ধতি সম্পূর্ণ এবং পুঙ্খানুপুঙ্খ হতে পারে, কিন্তু তারা কি বোর্ড জুড়ে একটি প্রয়োজনীয়তা হওয়া উচিত?
Cadence দ্বারা 2014 অধিগ্রহণের আগেও, Jasper আনুষ্ঠানিক অ্যাপের প্রবর্তনের মাধ্যমে বৃহত্তর বিস্তারের পথপ্রদর্শক - মডেল চেকিং ব্যবহার করে, প্রায়শই স্বয়ংক্রিয়ভাবে উত্পাদিত দাবী সহ, সাধারণ যাচাইকরণ সমস্যাগুলি আরও অ্যাক্সেসযোগ্য উপায়ে সমাধান করার জন্য, অনেক নিম্ন স্তরের আনুষ্ঠানিক দক্ষতার প্রয়োজন, হার্দি বললেন।
আরও, "সংযোগ একটি দুর্দান্ত উদাহরণ এবং গ্রহণ করা সবচেয়ে সহজ একটি - একটি স্প্রেডশীটে একটি সংযোগ মানচিত্র থেকে দাবী তৈরি করুন বা আইপি-এক্সএক্ট ফর্ম একই সিমুলেশন দিয়ে করা যেতে পারে কিন্তু এটি ক্লান্তিকর। এই আনুষ্ঠানিক পদ্ধতিটি সহজেই চিপ-স্তরে স্কেল করে কারণ অন্তর্নিহিত ব্লক কার্যকারিতার বেশিরভাগই বিমূর্ত করা যেতে পারে। কিছু ক্ষেত্রে, এই অ্যাপগুলি সিমুলেশন ওয়ার্কলোডগুলি অফলোড করতে পারে, এবং মূল্য হল কর্নার-কেস বাগগুলি খুঁজে বের করার ক্ষেত্রে কারণ র্যান্ডম টুল-জেনারেটেড ইনপুট উদ্দীপনা সাধারণত সিমুলেশন টেস্টবেঞ্চের তুলনায় আরও সম্পূর্ণ। যদিও এই অ্যাপগুলি যাচাইকরণ ইঞ্জিনিয়ারদের আনুষ্ঠানিকভাবে শুরু করার জন্য উপযোগী, সম্ভবত এটি একটি 'গেটওয়ে' হিসাবে কাজ করে, তারা ব্যবহারের ক্ষেত্রে আইসবার্গের শীর্ষ। বর্তমানে, আমরা আইসবার্গের বেশিরভাগ অংশ খুঁজে পাচ্ছি, যার মধ্যে রয়েছে আনুষ্ঠানিক যাচাইকরণের বেশিরভাগ রিগ্রেশন ব্যবহার, আনুষ্ঠানিক সম্পত্তি যাচাইকরণের সাথে প্রসেসর-ভিত্তিক ডিএসএ ডিজাইনগুলি যাচাই করা এবং RTL-থেকে-RTL এবং C/ উভয়ই অনুক্রমিক সমতা যাচাই করা হচ্ছে। C++ থেকে RTL,” তিনি যোগ করেছেন। “আমি যতটা বোর্ড জুড়ে একটি প্রয়োজনীয়তা হিসাবে আনুষ্ঠানিক যাচাইকরণ সেট করতে চাই, সেখানে এখনও উদাহরণ রয়েছে যেখানে এটি প্রয়োজনীয়, এবং অন্যান্য উদাহরণ যেখানে সিমুলেশন এখনও একটি ভাল কাজ করে। কিন্তু আমরা নকশার ধরন দেখছি যেখানে আনুষ্ঠানিক যাচাইকরণ অনেক দ্রুত হারে বাড়তে হবে।”
এই সমস্ত কীভাবে বিকশিত হয়, ইডিএ ইকোসিস্টেমটি চিরাচরিত অ্যাপ্লিকেশনের বাইরে কীভাবে আনুষ্ঠানিক যাচাইকরণ ব্যবহার করা যেতে পারে তা সনাক্ত করার জন্য মনে হচ্ছে।
"অ্যাপ্লিকেশানগুলির একটি সেট রয়েছে যা নির্দিষ্ট শেষ ব্যবহারের জন্য বান্ডিলযুক্ত আনুষ্ঠানিক অ্যাপ্লিকেশন বিক্রি যে কোনও বিক্রেতার জন্য মোটামুটি সাধারণ," জাইলস উপসংহারে এসেছিলেন। “প্রযুক্তিগত এবং ব্যবসায়িক উভয় দৃষ্টিকোণ থেকে চ্যালেঞ্জ এবং সুযোগের মধ্যে রয়েছে আনুষ্ঠানিকভাবে এমনভাবে ব্যবহার করা যাতে যাচাইকরণ করা যায় যা আগে সম্ভব হয়নি, যেমন হার্ডওয়্যারে ট্রোজান হর্স সনাক্তকরণ। বিশেষ করে ওপেন-সোর্স হার্ডওয়্যারের এই বিশ্বে, এটি প্রমাণ করতে সক্ষম হওয়া খুব ভালো যে ডিজাইনে এমন কিছুই নেই যা সেই ডিজাইনে থাকার কথা নয়। এটি সাধারণত একটি যাচাইকরণ সমস্যা নয় যা সিমুলেশন দ্বারা সমাধান করা হয়, কারণ সিমুলেশন সাধারণত অনুমান করে যে আপনি কী খুঁজছেন তা জানেন এবং আপনি এটি নিশ্চিত করার চেষ্টা করছেন। ট্রোজান ঘোড়া সনাক্তকরণের সাথে, আপনি এখন এমন জিনিসগুলি খুঁজছেন যা কার্যকরভাবে পরিচিত রাষ্ট্রীয় স্থানের বাইরে। এটি এমন একটি বিষয় যার প্রতিশ্রুতি রয়েছে।
সম্পর্কিত পঠন
RISC-V মাইক্রো-আর্কিটেকচারাল যাচাইকরণ
একটি প্রসেসর যাচাই করা নির্দেশাবলী কাজ করে তা নিশ্চিত করার চেয়ে অনেক বেশি, কিন্তু শিল্পটি একটি সীমিত জ্ঞানের ভিত্তি এবং কয়েকটি উত্সর্গীকৃত সরঞ্জাম থেকে তৈরি হচ্ছে।
নিরাপত্তা যাচাইকরণের জন্য প্রয়োজনীয় নতুন ধারণা
কেন এটি নিশ্চিত করা এত কঠিন যে হার্ডওয়্যার সঠিকভাবে কাজ করে এবং ক্ষেত্রের মধ্যে প্রদর্শিত হতে পারে এমন দুর্বলতাগুলি সনাক্ত করতে সক্ষম৷
- এসইও চালিত বিষয়বস্তু এবং পিআর বিতরণ। আজই পরিবর্ধিত পান।
- PlatoData.Network উল্লম্ব জেনারেটিভ Ai. নিজেকে ক্ষমতায়িত করুন। এখানে প্রবেশ করুন.
- প্লেটোএআইস্ট্রিম। Web3 ইন্টেলিজেন্স। জ্ঞান প্রসারিত. এখানে প্রবেশ করুন.
- প্লেটোইএসজি। কার্বন, ক্লিনটেক, শক্তি, পরিবেশ সৌর, বর্জ্য ব্যবস্থাপনা. এখানে প্রবেশ করুন.
- প্লেটো হেলথ। বায়োটেক এবং ক্লিনিক্যাল ট্রায়াল ইন্টেলিজেন্স। এখানে প্রবেশ করুন.
- উত্স: https://semiengineering.com/formal-verifications-usefulness-widens/
- : আছে
- : হয়
- :না
- :কোথায়
- $ ইউপি
- 2014
- a
- সক্ষম
- সম্পর্কে
- পরম
- একেবারে
- বিমূর্ত
- ত্বক
- গ্রহণযোগ্য
- প্রবেশযোগ্য
- অনুযায়ী
- হিসাব
- অর্জন করা
- অর্জন
- দিয়ে
- অভিনয়
- কর্ম
- যোগ
- যোগ
- পোষ্যপুত্র গ্রহণ করা
- গ্রহণ
- অগ্রসর
- পূর্বে
- এআই / এমএল
- সব
- বরাবর
- এছাড়াও
- সর্বদা
- am
- পরিমাণ
- an
- বিশ্লেষণ
- এবং
- অন্য
- উত্তর
- কোন
- আর
- কিছু
- মনে হচ্ছে,
- আবেদন
- অ্যাপ্লিকেশন
- অভিগমন
- অ্যাপস
- আর্কিটেকচারের
- রয়েছি
- এলাকায়
- এলাকার
- এআরএম
- কাছাকাছি
- AS
- Asics
- দৃষ্টিভঙ্গি
- আ
- সমাবেশ
- পরিমাপন
- অধিকৃত
- বীমা
- At
- বার
- ভিত্তি
- ভিত্তি
- যুদ্ধ
- BE
- কারণ
- পরিণত
- মানানসই
- হয়েছে
- আগে
- হচ্ছে
- ঘন্টাধ্বনি
- উপকারী
- সর্বোত্তম
- উত্তম
- মধ্যে
- তার পরেও
- বিশাল
- বিট
- কালো
- ব্ল্যাক বেল্ট
- বাধা
- তক্তা
- উভয়
- সীমানাহীন
- বৃহত্তর
- ভেঙে
- ভাঙা
- নম
- বাগ
- ভবন
- বান্ডেল
- ব্যবসায়
- কিন্তু
- by
- সুরের মুর্ছনা
- CAN
- পেতে পারি
- ক্ষমতা
- সক্ষম
- মামলা
- ক্যাটারিং
- কারণ
- সিইও
- কিছু
- সাক্ষ্যদান
- সত্য করিয়া বলা
- চ্যালেঞ্জ
- চ্যালেঞ্জ
- চ্যালেঞ্জিং
- মতভেদ
- পরিবর্তন
- চেক
- পরীক্ষণ
- চিপ
- চিপস
- ক্রিস
- পরিষ্কার
- ঘড়ি
- কোড
- আসে
- আরামপ্রদ
- আসছে
- সাধারণ
- সম্প্রদায়
- কোম্পানি
- কোম্পানি
- পরিপূরক
- সম্পূর্ণরূপে
- জটিল
- জটিলতা
- উপাদান
- গনা
- ধারণা
- উদ্বেগ
- পর্যবসিত
- কানেক্টিভিটি
- বিবেচনা
- বিবেচিত
- ধ্রুব
- প্রসঙ্গ
- বিপরীত হত্তয়া
- নিয়ন্ত্রণ
- কোণ
- ঠিক
- সঠিকভাবে
- দুর্নীতি
- ব্যয়বহুল
- পারা
- পথ
- আবরণ
- কভারেজ
- আবৃত
- নির্মিত
- তৈরি করা হচ্ছে
- নির্ণায়ক
- সংকটপূর্ণ
- এখন
- বাঁক
- শিখর
- গ্রাহকদের
- cyberattacks
- চক্র
- উপাত্ত
- ডেটাবেস
- দিন
- মৃত
- দশক
- নিবেদিত
- বিলম্ব
- নিষ্কৃত
- বিলি
- চাহিদা
- চাহিদা
- দাবি
- নির্ভর করে
- মোতায়েন
- গভীরতা
- নকশা
- ডিজাইনার
- ডিজাইনার
- ফন্দিবাজ
- ডিজাইন
- সত্ত্বেও
- সনাক্তকরণ
- ডেভেলপারদের
- উন্নয়ন
- যন্ত্র
- ডিভাইস
- বিভিন্ন
- ভিন্নভাবে
- কঠিন
- ডিজিটাল
- Director
- বিভক্ত করা
- do
- না
- না
- করছেন
- ডোমেইনের
- সম্পন্ন
- Dont
- দরজা
- সন্দেহ
- চালিত
- চালক
- পরিচালনা
- প্রতি
- পূর্বে
- গোড়ার দিকে
- সবচেয়ে সহজ পদ্ধিতি হল
- সহজে
- সহজ
- বাস্তু
- শিক্ষাবিষয়ক
- কার্যকর
- কার্যকরীভাবে
- প্রভাব
- দক্ষ
- প্রচেষ্টা
- পারেন
- ঘটিয়েছে
- আশ্লিষ্ট
- অনুকরণ
- শেষ
- প্রকৌশলী
- প্রকৌশল
- প্রকৌশলী
- ইঞ্জিন
- উন্নত বৈশিষ্ট্য
- যথেষ্ট
- নিশ্চিত করা
- সমগ্র
- পরিবেশ
- সমতা
- বিশেষত
- অপরিহার্য
- থার (eth)
- এমন কি
- কখনো
- ক্রমবর্ধমান
- প্রতি
- সবাই
- সবাই
- প্রত্যেকের
- সব
- সর্বত্র
- বিকশিত হয়
- উদাহরণ
- উদাহরণ
- ব্যাপক
- বিস্তৃত করা
- ল্যাপারোস্কোপিক পদ্ধতি
- বিশেষজ্ঞদের
- ব্যাখ্যা
- বিস্ফোরণ
- ব্যাখ্যা মূলকভাবে
- ফ্যাব্রিক
- গুণক
- ব্যর্থতা
- নিরপেক্ষভাবে
- পরিচিত
- দ্রুত
- বৈশিষ্ট্য
- প্রতিক্রিয়া
- মনে
- কয়েক
- কম
- ক্ষেত্র
- ফাইল
- আবিষ্কার
- প্রথম
- পাঁচ
- নির্দলীয়
- প্রবাহ
- দৃষ্টি নিবদ্ধ করা
- জন্য
- ফর্ম
- আনুষ্ঠানিকভাবে
- থেকে
- সম্পূর্ণ
- ক্রিয়া
- কার্মিক
- কার্যকারিতা
- ক্রিয়াকলাপ
- ভবিষ্যৎ
- লাভ করা
- ফাঁক
- সাধারণ
- সাধারণত
- উত্পাদন করা
- উত্পন্ন
- ভূরাজনৈতিক
- পাওয়া
- পায়
- দৈত্যদের
- দান
- বিশ্বায়নের
- Go
- চালু
- ভাল
- পেয়েছিলাম
- জিপিইউ
- জিপিইউ
- মহান
- গ্রুপ
- ক্রমবর্ধমান
- বৃদ্ধি
- উন্নতি
- এরকম
- কঠিন
- হার্ডওয়্যারের
- আছে
- জমিদারি
- he
- মাথা
- সাহায্য
- দ্বিধাগ্রস্ত
- প্রধান পুরোহিত-সংক্রান্ত
- উচ্চ
- আঘাত
- ঘোড়া
- কিভাবে
- যাহোক
- HTTPS দ্বারা
- প্রচুর
- মানবীয়
- i
- সনাক্ত করা
- চিহ্নিতকরণের
- if
- প্রভাব
- বাস্তবায়ন
- গুরুত্বপূর্ণ
- in
- অন্তর্ভুক্ত করা
- সুদ্ধ
- বৃদ্ধি
- শিল্প
- ইনপুট
- নির্দেশাবলী
- ইন্টিগ্রেশন
- ইন্টেল
- অভিপ্রায়
- পারস্পরিক ক্রিয়ার
- মজাদার
- ইন্টারফেস
- হস্তক্ষেপ
- মধ্যে
- ভূমিকা
- স্বজ্ঞাত
- অর্পিত
- বিনিয়োগ
- জড়িত
- IP
- সমস্যা
- সমস্যা
- IT
- আইটেম
- এর
- কাজ
- JPG
- মাত্র
- শুধু একটি
- পালন
- চাবি
- ধরণের
- জানা
- জ্ঞান
- পরিচিত
- শ্রম
- বড়
- বৃহত্তর
- বৃহত্তম
- গত
- শেষ মাইল
- নেতাদের
- বিশালাকার
- জ্ঞানী
- দিন
- উচ্চতা
- জীবন
- জীবন চক্র
- মত
- সীমাবদ্ধতা
- সীমিত
- লাইন
- রৈখিক
- সামান্য
- লাইভস
- দীর্ঘ
- অনেকক্ষণ
- আর
- দেখুন
- খুঁজছি
- অনেক
- কম
- নিম্ন
- নত
- মেনস্ট্রিম
- মুখ্য
- সংখ্যাগুরু
- করা
- মেকিং
- ব্যবস্থাপনা
- ম্যানুয়াল
- অনেক
- মানচিত্র
- ছাপ
- বাজার
- গণিত
- ব্যাপার
- মে..
- হতে পারে
- অর্থ
- বার্তা
- পদ্ধতি
- প্রণালী বিজ্ঞান
- পদ্ধতি
- মাইল
- মোবাইল
- মডেল
- মডিউল
- অধিক
- আরো দক্ষ
- সেতু
- অধিকাংশ ক্ষেত্রে
- প্যাচসমূহ
- অনেক
- বহু
- অবশ্যই
- my
- অগণ্য
- নাম
- প্রকৃতি
- অগত্যা
- প্রয়োজনীয়
- প্রয়োজন
- চাহিদা
- না
- নতুন
- নতুন
- পরবর্তী
- সুন্দর
- না।
- অ-বিশেষজ্ঞ
- সুপরিচিত
- কিছু না
- এখন
- সংখ্যা
- of
- বন্ধ
- প্রায়ই
- on
- ONE
- কেবল
- খোলা
- ওপেন সোর্স
- খোলা
- সুযোগ
- অপ্টিমাইজেশান
- অপ্টিমাইজ
- or
- ক্রম
- অন্যান্য
- আমাদের
- বাইরে
- শেষ
- পরাস্ত
- নিজের
- প্যাকেজ
- অংশ
- বিশেষত
- গত
- সম্প্রদায়
- প্রতি
- সম্পাদন করা
- কর্মক্ষমতা
- দৃষ্টিকোণ
- পিএইচডি
- বিষ্ময়কর
- প্রপঁচ
- টুকরা
- প্রবর্তিত
- জায়গা
- পরিকল্পনা
- পরিকল্পনা
- Plato
- প্লেটো ডেটা ইন্টেলিজেন্স
- প্লেটোডাটা
- খেলা
- নাটক
- বিন্দু
- পয়েন্ট
- সম্ভব
- ক্ষমতা
- ভবিষ্যদ্বাণী করা
- পূর্বাভাস
- উপস্থিতি
- চমত্কার
- সমস্যা
- সমস্যা
- প্রক্রিয়া
- প্রসেসর
- প্রসেসর
- পণ্য
- পণ্য ব্যবস্থাপনা
- উত্পাদনের
- প্রমোদ
- প্রোগ্রামার
- প্রকল্প
- বিশিষ্টতা
- বিশিষ্ট
- প্রতিশ্রুতি
- সঠিকভাবে
- বৈশিষ্ট্য
- সম্পত্তি
- প্রোটোকল
- প্রমাণ করা
- প্রদানকারীর
- স্থাপন
- প্রশ্নের
- প্রশ্ন
- প্রশ্ন
- দ্রুত
- পুরোপুরি
- গবেষণা ও উন্নয়ন
- এলোমেলো
- হার
- হার
- বাস্তব
- প্রকৃত মূল্য
- বাস্তবতার
- বাস্তবতা
- প্রতীত
- কারণ
- ন্যায্য
- কারণে
- চেনা
- সুপারিশ করা
- হ্রাস করা
- বোঝায়
- প্রত্যাগতি
- বিশ্বাসযোগ্যতা
- থাকা
- দেহাবশেষ
- খ্যাতি
- অনুরোধ
- প্রয়োজনীয়
- প্রয়োজন
- আবশ্যকতা
- প্রয়োজন
- গবেষণা
- এখানে ক্লিক করুন
- বিপ্লব
- শিকড়
- চালান
- s
- নিরাপদ
- নিরাপত্তা
- বলেছেন
- একই
- বলা
- উক্তি
- স্কেলেবিলিটি
- স্কেল
- আঁশযুক্ত
- দাঁড়িপাল্লা
- দৃশ্যকল্প
- পরিকল্পনা
- বিজ্ঞান
- সন
- দ্বিতীয়
- নিরাপদ
- নিরাপত্তা
- দেখ
- এইজন্য
- দেখা
- বিক্রি
- অর্ধপরিবাহী
- ক্রমিক
- সেট
- পরিবর্তন
- স্বল্পতা
- সংকট
- সবচেয়ে কম
- উচিত
- প্রদর্শনী
- পাশ
- গুরুত্বপূর্ণ
- উল্লেখযোগ্যভাবে
- সিলিকোন
- একভাবে
- কেবল
- ব্যাজ
- থেকে
- ছয়
- দক্ষতা
- কিছুটা ভিন্ন
- ছোট
- So
- সমাধান
- সলিউশন
- সমাধান
- মীমাংসিত
- কিছু
- কেউ
- কিছু
- কখনও কখনও
- উৎস
- স্থান
- নির্দিষ্ট
- অতিবাহিত
- অকুস্থল
- পাতন
- স্প্রেডশীট
- দণ্ড
- অটল
- শুরু
- রাষ্ট্র
- ধাপ
- প্রারম্ভিক ব্যবহারের নির্দেশাবলী
- এখনো
- উদ্দীপক বস্তু
- থামুন
- গল্প
- পদক্ষেপ
- সফল
- সাফল্য
- এমন
- অনুসরণ
- অনুমিত
- নিশ্চিত
- মিষ্টি
- পদ্ধতি
- সিস্টেম
- গ্রহণ করা
- প্রতিভা
- আলাপ
- কথা বলা
- টীম
- দল
- কারিগরী
- প্রযুক্তি
- প্রযুক্তি
- প্রযুক্তিঃ
- ক্লান্তিকর
- বলা
- ঝোঁক
- শর্তাবলী
- পরীক্ষা
- চেয়ে
- যে
- সার্জারির
- ভবিষ্যৎ
- উৎস
- বিশ্ব
- তাদের
- তাহাদিগকে
- তারপর
- সেখানে।
- এইগুলো
- তারা
- জিনিস
- কিছু
- মনে
- এই
- পুঙ্খানুপুঙ্খভাবে
- সেগুলো
- চিন্তা
- দ্বারা
- সর্বত্র
- সময়
- বার
- ডগা
- থেকে
- আজ
- সহ্য
- অত্যধিক
- টুল
- সরঞ্জাম
- শীর্ষ
- দিকে
- চিহ্ন
- রচনা
- ঐতিহ্যগত
- অসাধারণ
- সাহসী যোদ্ধা
- ট্রোজান ঘোড়া
- আস্থা
- বিশ্বস্ত
- চেষ্টা
- চালু
- দুই
- আদর্শ
- ধরনের
- সাধারণত
- অধীনে
- নিম্নাবস্থিত
- বোঝা
- চলছে
- অপ্রত্যাশিত
- অনন্য
- একক
- যদি না
- us
- ব্যবহার
- ব্যবহার
- ব্যবহৃত
- দরকারী
- ব্যবহারকারী
- ব্যবহারকারী
- ব্যবহারসমূহ
- ব্যবহার
- সাধারণত
- সদ্ব্যবহার করা
- ব্যবহার
- মূল্য
- বৈকল্পিক
- বৈচিত্র্য
- বিভিন্ন করা
- অসমজ্ঞ্জস
- সুবিশাল
- বিক্রেতা
- বিক্রেতারা
- প্রতিপাদন
- যাচাই
- যাচাই
- পারদর্শী
- বনাম
- উল্লম্ব
- খুব
- ভাইস
- আয়তন
- vs
- দুর্বলতা
- পদচারনা
- প্রয়োজন
- চেয়েছিলেন
- চায়
- ছিল
- উপায়..
- উপায়
- we
- আমরা একটি
- ছিল
- কি
- যাই হোক
- কখন
- কিনা
- যে
- যখন
- হু
- কেন
- ব্যাপকতর
- ব্যাপক
- ইচ্ছা
- সঙ্গে
- মধ্যে
- ছাড়া
- হয়া যাই ?
- কাজ
- বিশ্ব
- চিন্তা
- would
- লেখা
- বছর
- আপনি
- আপনার
- zephyrnet