2023 রেট্রোস্পেক্টিভ। যাচাইকরণে উদ্ভাবন - Semiwiki

প্লেটো দ্বারা প্রকাশিত

অনুসরণকারী: 0

জানুয়ারিতে যথারীতি আমরা গত বছর পর্যালোচনা করা কাগজপত্রের দিকে ফিরে তাকাতে শুরু করি। পল কানিংহাম (জিএম, ক্যাডেন্সে যাচাইকরণ), রাউল ক্যাম্পোসানো (সিলিকন ক্যাটালিস্ট, উদ্যোক্তা, প্রাক্তন সিনোপসিস সিটিও এবং এখন সিলভাকো সিটিও) এবং আমি গবেষণা ধারণাগুলির উপর আমাদের সিরিজ চালিয়ে যাচ্ছি। সর্বদা হিসাবে, প্রতিক্রিয়া স্বাগত জানাই. ধারণা এবং বিস্তৃত বিষয় নিয়ে বিতর্ক করতে এবং আপনার প্রতিক্রিয়া পেতে আমরা এই বছর একটি লাইভ সিরিজ শুরু করার পরিকল্পনা করছি৷ বিস্তারিত অনুসরণ করতে হবে!

2023 রেট্রোস্পেক্টিভ

2023 পিক

জনপ্রিয়তার ভিত্তিতে বাছাই করে এই ব্লগগুলি আমরা সারা বছর পোস্ট করেছি। আমরা প্রতি ব্লগে গড়ে 12.7k এনগেজমেন্ট করেছি, গত বছরের থেকে একটি অর্থবহ বৃদ্ধি যা আমরা একটি ইঙ্গিত হিসাবে গ্রহণ করি যে আপনি যাচাইকরণে বর্তমান গবেষণার আমাদের পর্যালোচনাগুলি উপভোগ করছেন। প্রায় 17k ব্যস্ততায় স্বয়ংক্রিয় কোড পর্যালোচনাতে এলএলএম প্রয়োগ করে নেতা অবাক হওয়ার কিছু নেই। একটি ক্লোজ সেকেন্ড মডেল বিমূর্ততা বিকাশ করতে ML ব্যবহার করে। প্রকৃতপক্ষে 4 সালে শীর্ষ 2023টি ব্লগ ছিল AI/ML-এর অ্যাপ্লিকেশনে। দ্রুত বিকশিত DRAM প্রোটোকলগুলিকে বৈধ করার জন্য এখানে পেট্রি নেটগুলি এই বছর আবার উপস্থিত হয়েছে। অনুকরণে অনুমান করার জন্য উত্সর্গীকৃত হার্ডওয়্যার ব্যবহার করা এবং অসঙ্গতিগুলি খুঁজে বের করার একটি পদ্ধতি তালিকাটি বৃত্তাকার করে। 2022-এর জন্য রেট্রোস্পেকটিভ স্বাভাবিকের মতোই করেছে কিন্তু সারা বছর ধরে অন্যান্য কাগজপত্রের প্রতি আগ্রহের কারণে ছাপিয়ে গেছে। এটি একটি নিরাপদ বাজি যে আমরা 2024 সালে AI/ML এর আরও অ্যাপ্লিকেশন দেখব!

পলের দৃষ্টিভঙ্গি

আরও একটি বছর চলে যাচ্ছে, এবং আমরা 49 সালের নভেম্বরে ব্লগ শুরু করার পর থেকে 2019টি গবেষণাপত্র পড়া হয়েছে! তখন আমরা ভাবছিলাম যে এটি আমাদের যাচাইকরণ সম্প্রদায়কে একত্রিত করার এবং বিশ্বব্যাপী একাডেমিক প্রতিষ্ঠানগুলিতে যাচাইকরণ গবেষণায় অব্যাহত বিনিয়োগের জন্য আমাদের কৃতজ্ঞতা দেখানোর একটি দুর্দান্ত উপায় হবে।

আমি যা ভবিষ্যদ্বাণী করিনি তা হল কিভাবে এই সমস্ত কাগজপত্র পড়া ক্যাডেন্সে নতুন বিনিয়োগ এবং উদ্ভাবনকে অনুপ্রাণিত করবে। এই ব্লগটি লেখা আমাকে শিখিয়েছে যে এমনকি প্রকৌশলের একটি নির্বাহী স্তরেও, স্থল স্তরের গবেষণার সাথে সংযুক্ত থাকা এবং নিয়মিত কাগজপত্র পড়া ব্যবসার জন্য ভাল। তাই আপনাকে ধন্যবাদ পাঠক, এবং আপনাকে ধন্যবাদ বার্নার্ড!

আশ্চর্যের কিছু নেই যে গত বছর আমাদের শীর্ষ 3টি হিট ছিল যাচাইকরণে AI ব্যবহার করার সমস্ত কাগজপত্র, কোড পর্যালোচনা স্বয়ংক্রিয় করার জন্য AI-তে একটি (লিংক), মিশ্র-সংকেত ডিভাইসের উচ্চ স্তরের SimuLink মডেলগুলিতে আরও দ্রুত বাগ খুঁজে পেতে সাহায্য করার জন্য AI-তে একটি (লিংক), এবং একটি পরীক্ষা ব্যর্থতার মূল কারণ সোর্স কোডের কোন লাইনটি স্বয়ংক্রিয়ভাবে সনাক্ত করতে AI ব্যবহার করে (লিংক) আমাদের এখানে একাডেমিয়া এবং বাণিজ্যিক জগতে উভয় ক্ষেত্রেই গবেষণায় বিনিয়োগ চালিয়ে যেতে হবে। যাইহোক, পরবর্তী দশকে আমাদের যাচাইকরণের উত্পাদনশীলতায় আমাদের পরবর্তী 10x খুঁজে বের করতে হবে এবং এটি AI থেকে আসার সম্ভাবনা সবচেয়ে বেশি।

এটি বলেছে, 2024 থেকে আমার ব্যক্তিগত চিৎকার AI সম্পর্কিত নয়। এটি লজিক সিমুলেশনের দুটি পেপারের জন্য: একটি ইভেন্ট সারির অনুমানমূলক এক্সিকিউশন ব্যবহার করে সমান্তরাল সিমুলেশনের উপর (লিংক), এবং অন্যটি চতুর হ্যাশিং ফাংশন ব্যবহার করে সীমাবদ্ধ র্যান্ডম পরীক্ষায় এলোমেলো ইনপুটগুলির বিতরণের গুণমান উন্নত করার বিষয়ে (লিংক) আমি এই "ইঞ্জিন-স্তরের" উদ্ভাবনগুলিকে বলি - EDA সরঞ্জামগুলির মধ্যে বিল্ডিং ব্লকগুলিকে মৌলিকভাবে আরও ভাল করে তোলে৷ আমাদের এখানেও গবেষণা ও উদ্ভাবন চালিয়ে যেতে হবে। এই দুটি কাগজ খুব উদ্ভাবনী ছিল কিন্তু AI এর সাথে কোন সম্পর্ক ছিল না। আসুন অ-এআই সম্পর্কিত উদ্ভাবনেও বিনিয়োগ রাখতে ভুলবেন না।

রাউলের দৃষ্টিভঙ্গি

ছুটির সময় এই পূর্ববর্তী লেখাটি অনিবার্যভাবে মানবজাতির একটি প্রয়োজনীয়তার সাথে সংঘর্ষ করে যা একটি শিল্পে উন্নীত করা যেতে পারে: খাওয়া। রেস্তোরাঁগুলি পর্যালোচনা করা সম্ভবত রেটিংগুলিকে ন্যায্যতা প্রমাণ করার জন্য কাগজপত্র পর্যালোচনার সাথে যথেষ্ট ভাগ করে নেয় যেমন ★★★ ব্যতিক্রমী, একটি বিশেষ ভ্রমণের জন্য, ★★ চমৎকার, একটি চক্কর দেওয়ার মতো, ★ উচ্চ মানের, একটি স্টপ মূল্যের এবং 😋 মাঝারি দামে ব্যতিক্রমীভাবে ভাল৷ পল ইতিমধ্যে বলেছেন যে আমাদের সেপ্টেম্বর পর্যালোচনা ছিল একজন "মিশেলিন তারকা বিষয়” আমি এই শিরায় চালিয়ে যাব, আপনার পছন্দগুলি (দর্শনের সংখ্যা), প্রিয় পাঠকগণ, মানদণ্ড হিসাবে ব্যবহার করে।

গত বছরের ব্লগটি মূলত দুর্দান্ত অ্যালগরিদম সম্পর্কে ছিল, এই বছরের ছিল এআই / এমএল এবং সফটওয়্যার (এসডাব্লু). শীর্ষ তিনটি ★★★ কাগজপত্র ছিল AI/ML ব্যবহার করে SW যাচাইকরণের বিষয়ে। শীর্ষ রেটযুক্ত ব্লগ (জুলাই) ছিল জেনারেটিভ এআই সহ কোড পর্যালোচনা সম্পর্কে, দ্বিতীয়টি (নভেম্বর) সারোগেট এআই মডেলগুলি ব্যবহার করে সাইবার-ফিজিক্যাল সিস্টেমগুলির জন্য SW পরীক্ষা এবং যাচাইকরণের সাথে কাজ করে এবং তৃতীয়টি (মে) এআই ক্লাসিফায়ারের সাথে জাভা অগমেন্টিং-এ বাগগুলি সনাক্তকরণ এবং ঠিক করার বিষয়ে ছিল। এই তিনটি কাগজের মধ্যে দুটি প্রশিক্ষণের জন্য GitHub থেকে বড় ডেটাসেট ব্যবহার করে। হার্ডওয়্যার (HW) ডিজাইনের জন্য এই ধরনের ডেটা সর্বজনীনভাবে উপলব্ধ নয়; যেটি SW থেকে যুক্তিযুক্তভাবে যথেষ্ট ভিন্ন যে অন্তত এই প্রশ্নটি উত্থাপন করতে পারে যে এই ফলাফলগুলি HW এর জন্য প্রতিলিপি করা যাবে কিনা। তবুও, যাচাইকরণের বিষয়ে SW সম্প্রদায় কী করছে তা অবশ্যই অনুপ্রেরণার উত্স।

★★ দিয়ে র‌্যাঙ্ক করা পরবর্তী তিনটি পেপার হল AI/ML-এর একটি সারগ্রাহী সংগ্রহ, একটি অত্যন্ত দুর্দান্ত অ্যালগরিদম এবং পেট্রি-নেট৷ সমস্ত EDA-তে যাচাইকরণের সাথে ডিল করে। সেপ্টেম্বর এর কাগজটি একটি LLM (GPT-4) এবং একটি মডেল পরীক্ষক (JasperGold) ব্যবহার করে সিস্টেম ভেরিলগ অ্যাসারশনস (SVA) এ ইংরেজি অনুবাদ করার পূর্বরূপ ছিল। পরবর্তী এক (জুন) সীমাবদ্ধ এলোমেলো যাচাইকরণের জন্য সমাধান স্থানের নমুনা কীভাবে নেওয়া যায় তা সম্বোধন করা হয়েছে অবিশেষে (সীমাবদ্ধতা পূরণ) – একটি কঠিন সমস্যার জন্য একটি দুর্দান্ত অ্যালগরিদম, 2014 থেকে। এই গ্রুপে শেষ অবদান (এপ্রিলজেইডিইসি ডিডিআর স্পেসিফিকেশন যাচাইয়ের জন্য বর্ধিত পেট্রি নেট; এটি জেইডিইসি স্পেক্স এবং পেট্রি নেট উভয় ক্ষেত্রেই শিক্ষামূলক, এবং একটি সময় লঙ্ঘন প্রকাশ করে।

পেপারস 7-9, ★ এর সাথে র‍্যাঙ্ক করা, অ্যানালগ ডিজাইন যাচাইকরণ, CPU যাচাইকরণ এবং সমান্তরাল SW এক্সিকিউশন নিয়ে কাজ করে। ভিতরে অক্টোবর আমরা সলিড-স্টেট সার্কিট সোসাইটির IEEE ওপেন জার্নালে একটি আমন্ত্রিত পেপার পর্যালোচনা করেছি, অ্যানালগ ডিজাইন এবং যাচাইকরণের উপর একটি ভাল টিউটোরিয়াল হওয়ার পাশাপাশি, প্রধান অবদান হল 4 অর্ডার দ্বারা স্পাইস সিমুলেশনকে ত্বরান্বিত করার জন্য কার্যকরী মডেলগুলির দ্বারা অ্যানালগ সার্কিট মডেলগুলি প্রতিস্থাপন করা। . ফেব্রুয়ারির কাগজ CPU যাচাইকরণে এলোমেলো নির্দেশনা জেনারেটর উন্নত করার জন্য DNN ব্যবহার করার বিষয়ে ছিল, "এর হ্রাস দেখায়2 বা তার বেশি একটি ফ্যাক্টর দ্বারা সিমুলেশনের সংখ্যাএকটি সাধারণ উদাহরণে (IBM Northstar, 5 নির্দেশাবলী)। মার্চ বাস্তবায়নের জন্য আমাদের একটি HW অ্যাক্সিলারেটরের সম্পূর্ণ নকশা এনেছে স্থানিকভাবে অবস্থানকৃত অর্ডারকৃত টাস্ক (SLOT) এক্সিকিউশন মডেল সমান্তরালতা এবং অনুমানকে কাজে লাগাতে এবং এমন অ্যাপ্লিকেশনের জন্য যা রানটাইমে গতিশীলভাবে কাজ তৈরি করে।

যা আমাদের দুজন 😋 প্রাপকদের সাথে রেখে যায়। ভিতরে অগাস্ট আমরা 2013 এর একটি কাগজ পর্যালোচনা করেছি যা পোস্ট সিলিকন বাগ সনাক্তকরণের জন্য k-মানে ক্লাস্টারিং (2013) এর পথপ্রদর্শক। এবং ভিতরে ডিসেম্বর আমরা একটি অত্যন্ত গুরুত্বপূর্ণ বিষয় দেখেছি, আইএফটি (ইনফরমেশন ফ্লো ট্র্যাকিং) ব্যবহার করে নিরাপত্তা যাচাইকরণ এবং এটি গেট লেভেল থেকে আরটিএল পর্যন্ত এক্সটেনশন। আশ্চর্যের বিষয় নয়, ডিসেম্বরের অবদানটি সবচেয়ে কম হিট পেয়েছে কারণ আমাদের পাঠকরা সম্ভবত প্রাথমিকভাবে বর্ণিত দ্বিধাদ্বন্দ্বের মুখোমুখি হয়েছিল।

রেটিং মাঝে মাঝে স্বেচ্ছাচারী হতে পারে, এই সমস্ত অবদান তারকা যোগ্য এবং শিল্পের অবস্থাকে এগিয়ে নিয়ে যায়। আমরা সত্যিই কঠিন সমস্যা মোকাবেলা একাডেমিয়া এবং শিল্পে একটি সক্রিয়, আন্তর্জাতিক গবেষণা সম্প্রদায়ের জন্য কৃতজ্ঞ হতে পারি। আমার ব্যক্তিগত পছন্দ অনুযায়ী, আপনি অনুমান করতে পারেন...

এর মাধ্যমে এই পোস্টটি ভাগ করুন: