2021 Hồi cứu. Đổi mới trong xác minh

Như chúng tôi đã thành lập vào năm ngoái, chúng tôi sẽ sử dụng số tháng 2022 của blog này để nhìn lại các bài báo mà chúng tôi đã xem xét năm ngoái. Chúng tôi đã mất Jim Hogan và lợi ích từ sự hiểu biết sâu sắc của anh ấy vào đầu năm ngoái, nhưng chúng tôi đã có được một chuyên gia mới và cũng nổi tiếng là Raúl Camposano (một người bạn khác của Jim). Paul (GM, Xác minh tại Cadence), Raúl (Silicon Catalyst, doanh nhân, cựu CTO của Synopsys) và tôi sẵn sàng tiếp tục loạt bài này cho đến năm XNUMX và hơn thế nữa. Như mọi khi, phản hồi hoan nghênh.

Lựa chọn năm 2021

Đây là các blog theo thứ tự, từ tháng 1 đến tháng 12. Tất cả đều có lượt truy cập tốt. Hấp dẫn nhất là phần hồi tưởng, gợi ý cho tôi rằng bạn cũng muốn biết điều gì người khác thấy thú vị nhất 😀. Năm nay, “Tìm lỗ hổng bảo hiểm lớn” và “Nhanh nhẹn và xác minh” nổi bật, tiếp theo là “Phân tích kênh bên” và “Xác thực công cụ sau silicon”. Những chỉ số khá tốt về nơi bạn đang tìm kiếm ý tưởng mới.

Hồi tưởng năm 2020

Tìm lỗ che phủ lớn

Giảm thời gian biên dịch trong mô phỏng

Agile và Xác minh, Xác thực

Fuzzing để xác thực bảo mật SoC

Mạng lưới thần kinh và kiểm tra CR

Công cụ xác thực sau Silicon

Phân tích kênh bên tại RTL

Một bản tóm tắt máy gia tốc giống như ISA

Kiểm tra tính nhất quán của bộ nhớ tại RTL

Mô hình hóa quyền lực dựa trên học tập

Kiểm tra Concolic có thể mở rộng

Quan điểm của Paul

Tôi thực sự thích blog này; Tôi không thể tin được đã 2 năm rồi. Tôi thật ngạc nhiên khi thấy Bernard dường như tìm thấy điều gì đó mới mẻ và thú vị mỗi tháng. Mục đích của chúng tôi khi ra mắt blog này chỉ là chia sẻ và đánh giá cao nghiên cứu thú vị, nhưng trên thực tế, các bài báo đã ảnh hưởng trực tiếp đến lộ trình xác minh của Cadence. Điều mà tôi nghĩ là sự thể hiện sự đánh giá cao nhất.

Chủ đề lớn nhất mà tôi thấy trong blog năm 2021 của chúng tôi là nâng cao tính trừu tượng. Như đã xảy ra trong 30 năm qua, đây tiếp tục là đòn bẩy lớn nhất để nâng cao năng suất. Mặc dù, có lẽ tôi nên đủ điều kiện để miền cụ thể trừu tượng. Trong lịch sử, sự trừu tượng hóa độc lập với ứng dụng - đa giác tới cổng tới danh sách mạng đến RTL. Hiện tại, phần tóm tắt thường bị phân mảnh – ISA tới ILA để xác minh trình tăng tốc trong blog tháng 9. Ánh xạ các tiên đề hành vi cấp cao tới SystemVerilog để xác minh tính nhất quán của bộ nhớ trong blog tháng 10. Verilog tới Chisel để xác minh CPU linh hoạt trong blog tháng 4. Các xác nhận khái quát về các bộ mô phỏng để xác minh bảo mật trên blog tháng 5. Và tất nhiên, một số khái niệm trừu tượng vẫn tiếp tục không rõ ràng về miền: Cổng cấp tới C++ dành cho mô hình hóa sức mạnh cấp hệ thống trong blog tháng 11. Đưa tin về việc gắn thẻ văn bản trong blog tháng Hai.

Chủ đề khác tiếp tục tỏa sáng là sự đổi mới xuất hiện như thế nào ở sự giao thoa giữa các kỹ năng và quan điểm khác nhau. Blog tháng 1980 về việc tận dụng các thuật toán phân loại tài liệu để tìm ra các lỗ hổng bảo mật là một ví dụ tuyệt vời trong năm nay. Các phương pháp ML ban đầu từ những năm XNUMX đã được khám phá lại và áp dụng lại để xác minh CPU trên blog tháng XNUMX. Lý thuyết trò chơi được sử dụng để tối ưu hóa thời gian biên dịch FPGA trong mô phỏng trên blog tháng XNUMX. Thật tuyệt khi thấy Bernard đưa nguyên tắc này vào bài báo lựa chọn của chúng ta trong năm nay, trong một vài tháng nữa, chuyển từ “xác minh chức năng” sang các chủ đề như nguồn điện, bảo mật và lỗi điện. Nó giúp chúng tôi thực hiện việc kết nối các dấu chấm giữa hai miền khác nhau.

Rất mong được tiếp tục quá trình xác minh ngẫu nhiên của chúng tôi một lần nữa trong năm nay!

Quan điểm của Raúl

Không tập trung vào bất kỳ lĩnh vực cụ thể nào, từ tháng 6 đến tháng 12, chúng tôi đã đề cập đến nhiều chủ đề thú vị trong Xác minh. Hai cái phổ biến nhất là Logic nhúng để phát hiện các lỗi lật (lỗi phần cứng) và Đánh giá rò rỉ kênh phía nguồn ở cấp độ RTL. Một bài báo cấp độ RTL khác đề cập đến tính nhất quán của bộ nhớ. Ở cấp độ cao hơn nữa, chúng tôi đã xem xét Tóm tắt cấp độ hướng dẫn để xác minh. Chúng tôi cũng có các tài liệu bắt buộc về ML/NN, một tài liệu để tạo ra các thử nghiệm giả ngẫu nhiên tốt hơn, tài liệu còn lại để xây dựng các mô hình sức mạnh chính xác của IP. Cuối cùng, lựa chọn tháng 12 của chúng tôi về Thử nghiệm Concolic để tiếp cận các chi nhánh khó kích hoạt cũng giải quyết vấn đề tăng phạm vi thử nghiệm.

Một trong những lĩnh vực chúng tôi tập trung vào blog này là khả năng tiếp thị; các bài viết về phương pháp luận, các bài viết cơ bản, phần mở rộng của các phương pháp tiếp cận hiện có và các phạm vi quá nhỏ đều không đủ tiêu chuẩn vì những lý do khác nhau. Tất nhiên điều này ít liên quan đến giá trị kỹ thuật. Một số nghiên cứu được trình bày đã sẵn sàng để áp dụng, ví dụ: sử dụng ML/NN để cải thiện các nhiệm vụ khác nhau trong EDA. Một số xoay quanh phương pháp luận, ví dụ: cơ sở hạ tầng thi đua; một số có tính nền tảng hơn như trừu tượng ở cấp độ cao hơn. Những cái khác là những ngóc ngách thú vị, ví dụ như rò rỉ kênh bên. Nhưng tất cả chúng đều đáng được nghiên cứu và việc đọc các bài báo là một trải nghiệm đáng giá!

Quan điểm của tôi

Ba chúng tôi đã thảo luận sôi nổi về nguyên tắc (nếu có) mà tôi đang tuân theo trong việc chọn bài. Được xuất bản trong một diễn đàn lớn chắc chắn. Như Paul nói, đó là một cuộc dạo chơi ngẫu nhiên qua các chủ đề. Tôi muốn nhận được gợi ý từ độc giả để hướng dẫn lựa chọn của chúng tôi. Dựa trên lượt truy cập thì có rất nhiều bạn nhưng rõ ràng là bạn rất ngại chia sẻ ý tưởng của mình. Có lẽ một email riêng gửi cho tôi sẽ dễ dàng hơn – info@findthestory.net.

• Tôi đặc biệt quan tâm đến các vấn đề kỹ thuật khó khăn mà bạn thường xuyên gặp phải
• Nếu có thể (không bắt buộc), cung cấp một tài liệu tham khảo cho một bài viết về chủ đề này. Điều này có thể được công bố trong bất kỳ diễn đàn.
• Tôi không quan tâm nhiều đến các vấn đề đã được giải quyết – cách bạn sử dụng một số công cụ của nhà cung cấp để thực hiện điều gì đó trong quy trình xác minh của mình. Trừ khi bạn cho rằng ví dụ của mình thể hiện một số khả năng cơ bản hữu ích có thể được khái quát hóa ngoài ứng dụng của bạn.

Trong khi đó, chúng tôi sẽ tiếp tục bước đi ngẫu nhiên, được tăng cường bởi các chủ đề mà chúng tôi nghe thấy vẫn rất thời sự – kiểm tra tính mạch lạc, bảo mật, trừu tượng

Chia sẻ bài đăng này qua: Nguồn: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/