พ.ศ. 2021 ย้อนหลัง นวัตกรรมในการตรวจสอบ

ตามที่เราก่อตั้งเมื่อปีที่แล้ว เราจะใช้บล็อกฉบับเดือนมกราคมนี้เพื่อย้อนดูเอกสารที่เราตรวจสอบเมื่อปีที่แล้ว เราสูญเสีย Jim Hogan และผลประโยชน์จากความเข้าใจของเขาไปเมื่อต้นปีที่แล้ว แต่เราได้รับผู้เชี่ยวชาญคนใหม่และเป็นที่รู้จักใน Raúl Camposano (เพื่อนอีกคนของ Jim) Paul (GM, Verification at Cadence), Raúl (Silicon Catalyst, ผู้ประกอบการ, อดีต CTO ของ Synopsys) และฉันพร้อมที่จะดำเนินการต่อในซีรีส์นี้จนถึงปี 2022 และปีต่อๆ ไป และเช่นเคย ยินดีรับคำติชม

ตัวเลือก 2021

บล็อกเหล่านี้เรียงตามลำดับตั้งแต่มกราคมถึงธันวาคม ทั้งหมดได้รับความนิยม ที่ร้อนแรงที่สุดคือการหวนกลับซึ่งบอกกับฉันว่าคุณเองก็อยากรู้สิ่งที่คนอื่นพบว่าน่าสนใจที่สุด😀 ในปีนี้ “Finding Large Coverage Holes” และ “Agile and Verification” โดดเด่น ตามด้วย “Side Channel Analysis” และ “Instrumenting Post Silicon Validation” ตัวบ่งชี้ที่ดีทีเดียวว่าคุณกำลังมองหาแนวคิดใหม่ๆ อยู่ที่ใด

ย้อนหลัง 2020

การหารูขนาดใหญ่

การลดเวลาคอมไพล์ในการจำลอง

คล่องตัวและการตรวจสอบ, การตรวจสอบความถูกต้อง

ลวนลามเพื่อตรวจสอบความปลอดภัย SoC

โครงข่ายประสาทและการทดสอบ CR

การตรวจสอบความถูกต้องหลังการตรวจวัดซิลิคอน

การวิเคราะห์ช่องด้านข้างที่ RTL

นามธรรมเหมือน ISA Accelerator

ตรวจสอบความสอดคล้องของหน่วยความจำที่ RTL

การสร้างแบบจำลองพลังงานจากการเรียนรู้

การทดสอบ Concolic ที่ปรับขนาดได้

มุมมองของพอล

ฉันสนุกกับบล็อกนี้จริงๆ ไม่น่าเชื่อว่า 2 ปีแล้ว เป็นเรื่องน่าทึ่งสำหรับฉันที่เบอร์นาร์ดดูเหมือนจะพบสิ่งใหม่และน่าสนใจทุกเดือน ความตั้งใจของเราเมื่อเราเปิดตัวบล็อกนี้เป็นเพียงการแบ่งปันและชื่นชมงานวิจัยที่น่าสนใจ แต่ในทางปฏิบัติ เอกสารดังกล่าวมีอิทธิพลโดยตรงต่อแผนงานของ Cadence ในการตรวจสอบ ซึ่งผมคิดว่าเป็นการแสดงความขอบคุณอย่างถึงที่สุด

ชุดรูปแบบที่ใหญ่ที่สุดที่ฉันเห็นในบล็อกปี 2021 ของเราคือการสร้างสิ่งที่เป็นนามธรรม อย่างที่เคยเป็นมาในช่วง 30 ปีที่ผ่านมา สิ่งนี้ยังคงเป็นเครื่องมือที่สำคัญที่สุดในการปรับปรุงประสิทธิภาพการผลิต แม้ว่าฉันควรจะมีคุณสมบัติที่จะ เฉพาะโดเมน สิ่งที่เป็นนามธรรม ในอดีต นามธรรมมีความเป็นอิสระจากแอปพลิเคชัน – รูปหลายเหลี่ยมเพื่อเกตไปยังรายการเน็ตไปยัง RTL ตอนนี้นามธรรมมักจะแยกส่วน – ISA ถึง ILA สำหรับการตรวจสอบตัวเร่งความเร็วในบล็อกเดือนกันยายน การจับคู่สัจพจน์เชิงพฤติกรรมระดับสูงกับ SystemVerilog สำหรับการตรวจสอบความสอดคล้องของหน่วยความจำในบล็อกเดือนตุลาคม Verilog to Chisel สำหรับการตรวจสอบ CPU ที่คล่องตัวในบล็อกเดือนเมษายน การยืนยันทั่วๆ ไปเกี่ยวกับชุดการจำลองสำหรับการตรวจสอบความปลอดภัยในบล็อกของเดือนพฤษภาคม และแน่นอน สิ่งที่เป็นนามธรรมบางอย่างยังคงเป็นโดเมนไม่เชื่อเรื่องพระเจ้า: ระดับเกตเป็น C++ สำหรับการสร้างแบบจำลองพลังงานระดับระบบในบล็อกเดือนพฤศจิกายน ความครอบคลุมของการติดแท็กข้อความในบล็อกเดือนกุมภาพันธ์

หัวข้ออื่นๆ ที่ยังคงฉายแววออกมาอย่างต่อเนื่องคือการที่นวัตกรรมเกิดขึ้นที่จุดตัดของทักษะและมุมมองที่แตกต่างกัน บล็อกกุมภาพันธ์เกี่ยวกับการใช้ประโยชน์จากอัลกอริธึมการจำแนกเอกสารเพื่อค้นหาช่องโหว่คือตัวอย่างที่ดีอย่างหนึ่งในปีนี้ วิธีการ ML ก่อนกำหนดจากปี 1980 ได้ค้นพบใหม่และนำไปใช้กับการตรวจสอบ CPU ในบล็อกของเดือนมิถุนายน ทฤษฎีเกมใช้เพื่อเพิ่มประสิทธิภาพเวลาคอมไพล์ FPGA ในการจำลองในบล็อกของเดือนมีนาคม เป็นเรื่องที่ดีมากที่ได้เห็น Bernard นำหลักการนี้ไปใช้ในการคัดเลือกบทความของเราในปีนี้ ในอีกไม่กี่เดือนข้างหน้านี้ จะเปลี่ยนเส้นทางจาก "การตรวจสอบการทำงาน" ไปสู่หัวข้อต่างๆ เช่น พลังงาน ความปลอดภัย และข้อบกพร่องทางไฟฟ้า มันช่วยเราทำการเชื่อมต่อจุดระหว่างสองโดเมนที่แตกต่างกัน

ตั้งตารอที่จะสุ่มตรวจยืนยันอีกครั้งในปีนี้!

มุมมองของราอูล

ตั้งแต่เดือนมิถุนายนถึงธันวาคม เราได้พูดถึงหัวข้อที่น่าสนใจมากมายในการยืนยันโดยไม่เน้นเรื่องใดเป็นพิเศษ สองรายการที่ได้รับความนิยมมากที่สุดคือ Embedded Logic to Detect flipped Flops (ข้อผิดพลาดของฮาร์ดแวร์) และการประเมินการรั่วไหลของช่องสัญญาณ Power-Side ที่ระดับ RTL กระดาษระดับ RTL อีกฉบับหนึ่งเกี่ยวกับความสอดคล้องของหน่วยความจำ ในระดับที่สูงกว่านั้น เราได้พิจารณา Instruction-Level Abstractions สำหรับการตรวจสอบ เรายังมีเอกสารบังคับเกี่ยวกับ ML/NN ฉบับหนึ่งเพื่อสร้างการทดสอบสุ่มหลอกที่ดีกว่า อีกฉบับหนึ่งเพื่อสร้างแบบจำลองพลังงานที่แม่นยำของ IP สุดท้ายการเลือกของเราในการทดสอบ Concolic ในเดือนธันวาคมเพื่อเปิดใช้งานสาขายากยังเกี่ยวข้องกับความครอบคลุมการทดสอบที่เพิ่มขึ้น

ประเด็นหนึ่งที่เรามุ่งเน้นในบล็อกนี้คือความสามารถทางการตลาด เอกสารระเบียบวิธีวิจัย เอกสารพื้นฐาน การขยายแนวทางที่มีอยู่และเฉพาะกลุ่มที่เล็กเกินไป ล้วนไม่ผ่านเกณฑ์ด้วยเหตุผลที่แตกต่างกัน แน่นอนว่าสิ่งนี้ไม่เกี่ยวข้องกับข้อดีทางเทคนิคเพียงเล็กน้อย งานวิจัยที่นำเสนอบางส่วนพร้อมสำหรับการนำไปใช้ เช่น การใช้ ML/NN เพื่อปรับปรุงงานต่างๆ ใน ​​EDA มีสองสามวิธีที่เกี่ยวข้องกับระเบียบวิธีต่างๆ เช่น โครงสร้างพื้นฐานการจำลอง บางอย่างเป็นพื้นฐานมากกว่า เช่น นามธรรมระดับสูง ส่วนอื่นๆ เป็นช่องที่น่าสนใจ เช่น การรั่วไหลของช่องด้านข้าง แต่พวกเขาทั้งหมดมีค่าในการค้นคว้าและการอ่านเอกสารก็ใช้เวลาอย่างดี!

มุมมองของฉัน

เราสามคนคุยกันอย่างสนุกสนานเกี่ยวกับหลักการที่ฉันใช้ (ถ้ามี) ในการเลือกเอกสาร เผยแพร่ในฟอรั่มที่สำคัญอย่างแน่นอน อย่างที่พอลพูด มันเป็นการสุ่มดูหัวข้อต่างๆ ฉันต้องการรับข้อเสนอแนะจากผู้อ่านเพื่อเป็นแนวทางในการเลือกของเรา มีพวกคุณหลายคนที่อิงตามเพลงฮิต แต่เห็นได้ชัดว่าคุณเขินอายที่จะแบ่งปันความคิดของคุณ บางทีอีเมลส่วนตัวถึงฉันอาจจะง่ายกว่า – info@findthestory.net.

• ฉันสนใจปัญหาทางเทคนิคที่คุณกำลังเผชิญอยู่เป็นประจำโดยเฉพาะ
• หากคุณทำได้ (ไม่จำเป็น) ให้การอ้างอิงถึงบทความในหัวข้อ สามารถเผยแพร่ในฟอรัมใดก็ได้
• ฉันไม่สนใจการแก้ไขปัญหา – วิธีที่คุณใช้เครื่องมือของผู้ขายเพื่อทำให้บางสิ่งทำงานในกระบวนการยืนยันของคุณ ยกเว้นกรณีที่คุณคิดว่าตัวอย่างของคุณแสดงความสามารถที่เป็นประโยชน์โดยพื้นฐานซึ่งสามารถนำไปใช้ทั่วไปนอกเหนือจากแอปพลิเคชันของคุณ

ในระหว่างนี้เราจะสุ่มเดินต่อไป เสริมด้วยธีมที่เราได้ยินมาว่ามีความเฉพาะเจาะจงมาก – การตรวจสอบความสอดคล้องกัน ความปลอดภัย นามธรรม

แชร์โพสต์นี้ผ่าน: ที่มา: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/