Trong thế giới phức tạp của thiết kế silicon, việc đảm bảo độ chính xác và độ tin cậy trong thiết kế của chúng tôi là điều tối quan trọng. Khi chip của chúng tôi trở nên phức tạp hơn, quá trình tìm lỗi—xác định và sửa lỗi trong thiết kế của chúng tôi— càng trở nên quan trọng hơn. AI sáng tạo có tiềm năng cách mạng hóa ngành thiết kế silicon bằng cách nâng cao khả năng săn lỗi của chúng ta. Làm sao? Hãy để chúng tôi thử nghiệm!
Thí nghiệm 4: Săn bọ
Để chứng minh tính hiệu quả của Generative AI trong thiết kế silicon, tôi đã tiến hành thử nghiệm với GPT-4 của OpenAI. Chúng tôi đã cung cấp cho hệ thống thông số kỹ thuật thiết kế (có nguồn gốc từ https://mathcircle.berkeley.edu/sites/default/files/archivedocs/2010_2011/contest/1011contestpdf/comp8.pdf) cùng với việc thực hiện thiết kế. Mục đích? Để xem GenAI có thể xác định được lỗi nào không.
Thông số thiết kế: Trên bàn cờ 5×5, quân vua di chuyển theo quy luật sau: 1. Nó có thể di chuyển từng ô vuông một, theo chiều ngang, chiều dọc hoặc theo đường chéo. 2. Nó có thể di chuyển theo từng hướng trong số tám hướng cho phép nhiều nhất là ba lần trên toàn bộ tuyến đường của nó.
Sau đây là kết quả đầu ra từ mô hình GenAI:
1. Lỗi: Ghi đè cur_x_pos bằng cur_y_pos bắt đầu khác cur_x_pos <= nxt_y_pos; cur_y_pos <= nxt_y_pos; kết thúc Phần này sẽ khiến vị trí x hiện tại của vua (cur_x_pos) luôn lấy giá trị nxt_y_pos, điều này không chính xác. Phản ví dụ: Kịch bản đầu vào: Giả sử vua ở vị trí (2,2) và move_request được cung cấp với hướng = 3'b010 (Lên). Chuyển đổi thiết kế: Dự kiến: cur_x_pos vẫn là 2 và cur_y_pos trở thành 3. Thực tế: Cả cur_x_pos và cur_y_pos đều trở thành 3. Kết quả: Kết quả mong đợi: Vua chuyển sang (2,3). Kết quả thực tế: Vua chuyển sang (3,3).
2. Lỗi: khởi tạo cur_moves_count[] về 3 if (đặt lại) cur_moves_count[dir] <= 0'd3; Số lần di chuyển của tất cả các hướng được khởi tạo về 3 khi đặt lại. Tuy nhiên, điều kiện để kiểm tra nước đi tối đa sử dụng < 4'd0,0, nghĩa là vua có thể di chuyển 3 lần mỗi hướng trước khi xảy ra lỗi. Phản ví dụ: Kịch bản đầu vào: Giả sử vua ở vị trí (000) và bốn nước đi_request liên tiếp được cung cấp với hướng = 3'b4 (Phải). Chuyển đổi thiết kế: Dự kiến: Sau 3,0 nước đi sang phải, nước đi thứ 4,0 sẽ xảy ra lỗi. Thực tế: King di chuyển bốn lần sang phải mà không gây ra lỗi. Kết quả: Kết quả mong đợi: Vua di chuyển đến (XNUMX) và sau đó xảy ra lỗi. Kết quả thực tế: Vua di chuyển đến (XNUMX) không mắc lỗi.
3. Lỗi: Thiếu kiểm tra ranh giới Mặc dù mã này chứa các kiểm tra ranh giới về chuyển động của quân vua trên bàn cờ, nhưng nó không tính đến khả năng việc cộng hoặc trừ các giá trị 3 bit có thể dẫn đến lỗi lật bài. Ví dụ: nếu cur_x_pos là 3'd7 (điều này không nên xảy ra dựa trên thiết kế hiện tại, nhưng có thể do ảnh hưởng bên ngoài hoặc các vấn đề thiết kế khác), việc trừ 1 có thể dẫn đến 0 thay vì 6 như mong đợi do cuộn bit . Phản ví dụ: Đây có thể là một lỗi về mặt lý thuyết vì thiết kế hiện tại không cho phép tình huống như vậy xảy ra. Tuy nhiên, điều cần thiết là phải xem xét điều này để có thiết kế mạnh mẽ. Khuyến nghị: Có thể cải thiện việc kiểm tra ranh giới và có thể thêm các kiểm tra độ tỉnh táo bổ sung để đảm bảo rằng vị trí của vua không bao giờ vượt ra ngoài phạm vi hợp lệ.
Quan sát hấp dẫn
- Nhận dạng lỗi: Mô hình GenAI đã xác định chính xác sự khác biệt cụ thể giữa đặc tả thiết kế và việc triển khai nó bằng một ví dụ phản biện thích hợp bao gồm kịch bản, chuyển tiếp và phân tích kết quả thực tế so với dự kiến. Đây thực sự là một lỗi thực sự cần được khắc phục.
- Âm tính giả: Giống như bất kỳ công cụ nào, Generative AI không phải là không thể sai lầm. Nó đã làm nổi bật một vấn đề mà khi kiểm tra kỹ hơn thì hóa ra đó không phải là một lỗi. Điều này như một lời nhắc nhở rằng mặc dù AI có thể là một trợ lý có giá trị nhưng chuyên môn và khả năng phán đoán của con người vẫn rất quan trọng trong quá trình xác nhận.
- Vấn đề nâng cao: Ngoài việc tìm kiếm lỗi, mô hình GenAI còn đề xuất một cải tiến—một đề xuất cải tiến thiết kế không nhất thiết phải sửa lỗi mà là tối ưu hóa thiết kế hơn nữa. Lợi ích bất ngờ này chứng tỏ AI không chỉ có thể giúp tìm ra lỗi mà còn đề xuất những đổi mới.
Bối cảnh ngày mai – Trình chỉnh sửa/phân tích mã HDL được hỗ trợ bởi GenAI!
Ý nghĩa của thí nghiệm này rất sâu sắc. Bằng cách tích hợp các công cụ Generative AI vào quy trình phát triển mã HDL, chúng tôi có thể:
- Đẩy nhanh quá trình săn lỗi: Việc tự động hóa các giai đoạn phát hiện lỗi ban đầu có thể giảm bớt thời gian dành cho việc gỡ lỗi các dạng sóng mô phỏng dài.
- Giảm chi phí xác minh: Khi các công cụ/kỹ sư xác minh tìm thấy ít lỗi hơn, việc đóng xác minh có thể đạt được sớm hơn, giúp tiết kiệm chi phí về lâu dài.
Kết luận
Khi ngành công nghiệp bán dẫn tiếp tục phát triển, việc tận dụng các công cụ như Generative AI có thể mang lại lợi thế cho chúng ta, đảm bảo rằng các thiết kế của chúng ta không chỉ không có lỗi mà còn vượt qua ranh giới của những gì có thể. Chỉ là vấn đề thời gian khi các co-pilot và plug-in được áp dụng rộng rãi trong toàn ngành.
Cũng đọc:
AI sáng tạo cho thiết kế Silicon – Bài viết 3 (Mô phỏng thiết kế của tôi)
AI sáng tạo cho thiết kế Silicon - Bài viết 2 (Gỡ lỗi dạng sóng của tôi)
AI sáng tạo cho thiết kế Silicon - Bài viết 1 (Mã FSM của tôi)
Chia sẻ bài đăng này qua:
- Phân phối nội dung và PR được hỗ trợ bởi SEO. Được khuếch đại ngay hôm nay.
- PlatoData.Network Vertical Generative Ai. Trao quyền cho chính mình. Truy cập Tại đây.
- PlatoAiStream. Thông minh Web3. Kiến thức khuếch đại. Truy cập Tại đây.
- Trung tâmESG. Than đá, công nghệ sạch, Năng lượng, Môi trường Hệ mặt trời, Quản lý chất thải. Truy cập Tại đây.
- PlatoSức khỏe. Tình báo thử nghiệm lâm sàng và công nghệ sinh học. Truy cập Tại đây.
- nguồn: https://semiwiki.com/eda/338432-generative-ai-for-silicon-design-article-4-hunt-for-bugs/
- : có
- :là
- :không phải
- $ LÊN
- 1
- 4th
- 7
- 8
- a
- Theo
- Tài khoản
- chính xác
- đạt được
- ngang qua
- thực tế
- thêm
- thêm
- thêm vào
- Nhận con nuôi
- Sau
- AI
- Tất cả
- cho phép
- bên cạnh
- Ngoài ra
- Mặc dù
- luôn luôn
- an
- phân tích
- và
- bất kì
- LÀ
- Mảng
- bài viết
- AS
- Trợ lý
- đảm đương
- At
- tự động hóa
- dựa
- BE
- trở nên
- trở thành
- trước
- bắt đầu
- hưởng lợi
- Berkeley
- giữa
- Ngoài
- Một chút
- cả hai
- ranh giới
- Bug
- săn bắt lỗi
- lỗi
- nhưng
- by
- CAN
- khả năng
- trường hợp
- Nguyên nhân
- kiểm tra
- Séc
- Tướng
- Snacks
- gần gũi hơn
- đóng cửa
- mã
- sự so sánh
- phức tạp
- điều kiện
- thực hiện
- liên tiếp
- Hãy xem xét
- chứa
- liên tiếp
- Phí Tổn
- tiết kiệm chi phí
- có thể
- tạo
- quan trọng
- quan trọng
- Current
- định nghĩa
- chứng minh
- chứng minh
- Thiết kế
- thiết kế
- chi tiết
- Phát hiện
- Phát triển
- ĐÃ LÀM
- hướng
- hướng
- sự khác biệt
- làm
- xuống
- hai
- mỗi
- Cạnh
- hiệu quả
- khác
- cuối
- tăng cường
- đảm bảo
- đảm bảo
- Toàn bộ
- lôi
- lỗi
- thiết yếu
- Ether (ETH)
- Ngay cả
- phát triển
- vượt quá
- dự kiến
- thử nghiệm
- chuyên môn
- ngoài
- ít hơn
- Tìm kiếm
- tìm kiếm
- dòng chảy
- tiếp theo
- Trong
- 4
- từ
- chức năng
- xa hơn
- Thu được
- thế hệ
- Trí tuệ nhân tạo
- chính hãng
- Cho
- mục tiêu
- Đi
- xảy ra
- giúp đỡ
- Đánh dấu
- tổ chức
- Độ đáng tin của
- Tuy nhiên
- HTTPS
- Nhân loại
- săn
- Săn bắn
- i
- Xác định
- xác định
- if
- thực hiện
- hàm ý
- cải thiện
- cải thiện
- in
- Bao gồm
- chỉ
- ngành công nghiệp
- ban đầu
- đổi mới
- đầu vào
- ví dụ
- Tích hợp
- trong
- vấn đề
- các vấn đề
- IT
- ITS
- chỉ
- Vua
- Thiếu sót
- cảnh quan
- hàng đầu
- trái
- cho phép
- tận dụng
- Lượt thích
- LIMIT
- dài
- chất
- max-width
- tối đa
- có nghĩa là
- Might
- sai lầm
- kiểu mẫu
- mô-đun
- chi tiết
- hầu hết
- di chuyển
- phong trào
- di chuyển
- my
- nhất thiết
- cần thiết
- tiêu cực
- không bao giờ
- of
- on
- ONE
- có thể
- tối ưu hóa
- or
- Nền tảng khác
- vfoXNUMXfipXNUMXhfpiXNUMXufhpiXNUMXuf
- ra
- Kết quả
- đầu ra
- bên ngoài
- Paramount
- mỗi
- plato
- Thông tin dữ liệu Plato
- PlatoDữ liệu
- vị trí
- khả năng
- có thể
- Bài đăng
- tiềm năng
- -
- trình bày
- quá trình
- thâm thúy
- đúng
- đề xuất
- cung cấp
- Đẩy
- nâng lên
- phạm vi
- hơn
- Đọc
- Khuyến nghị
- giảm
- Ghi lại
- độ tin cậy
- vẫn
- vẫn còn
- nhắc nhở
- yêu cầu
- kết quả
- cách mạng hóa
- ngay
- mạnh mẽ
- Route
- quy tắc
- chạy
- s
- Tiết kiệm
- kịch bản
- Phần
- xem
- bán dẫn
- phục vụ
- nên
- Silicon
- mô phỏng
- tinh vi
- nguồn gốc
- riêng
- đặc điểm kỹ thuật
- tiêu
- vuông
- giai đoạn
- như vậy
- hệ thống
- T
- Hãy
- hơn
- việc này
- Sản phẩm
- sau đó
- lý thuyết
- điều này
- số ba
- thời gian
- thời gian
- đến
- công cụ
- công cụ
- quá trình chuyển đổi
- chuyển tiếp
- kích hoạt
- được kích hoạt
- kích hoạt
- Quay
- Bất ngờ
- trên
- Upright
- us
- sử dụng
- hợp lệ
- xác nhận
- Quý báu
- giá trị
- Các giá trị
- Xác minh
- Versus
- theo chiều dọc
- thông qua
- vs
- là
- we
- khi nào
- cái nào
- trong khi
- rộng
- sẽ
- với
- không có
- thế giới
- X
- zephyrnet
- không