🎉 Gate.io動態 #创作者激励计划# 火熱進行中!報名參與並發帖解鎖 $2,000 創作大獎!
🌟 參與攻略:
1️⃣ 點擊連結進入報名頁面 👉️ https://www.gate.io/questionnaire/6550
2️⃣ 點擊“是”按鈕提交報名
3️⃣ 在動態完成發帖,提升發帖量和互動量,解鎖獲獎資格!
📌 只要是與加密相關內容均可參與發帖!
🎁 茶具套裝、Gate x 國際米蘭保溫杯、Gate.io 紀念章、點卡等好禮等你來拿!獲獎者還將獲得專屬社區流量扶持,助力您提升影響力,增長粉絲!
活動截止至:5月6日00:00 (UTC+8)
活動詳情:https://www.gate.io/announcements/article/44513
ChatGPT 也能用來造芯,說說英語就可以了? !
整理| 屠敏
上市|CSDN(ID:CSDNnews)
ChatGPT 真的那麼牛嗎?
來自紐約大學Tandon 工程學院的研究人員發布了一篇《Chip-Chat: Challenges and Opportunities in Conversational Hardware Design》論文,用實驗回答道:是的,ChatGPT 確實比較厲害!
只用簡單的自然語言之英語和ChatGPT 聊聊天,便製作出了一款微處理芯片。更值得注意的是,在ChatGPT 的助力下,這款芯片組件不僅是設計了出來的,也是經過了基礎測試,可以製造出來。
所以說,全民”造芯“的時代真的要來臨了嗎?在此,我們不妨先看看研究人員到底是怎麼做的。
AI 大模型的應用,硬件領域落後於軟件
在論文中,研究人員指出,現代硬件設計始於自然語言提供的規範,如英文文檔需求,然後再由硬件工程師使用硬件描述語言(HDL)如Verilog,將需求用代碼構建出來,完成芯片內部的設計,最終再合成為電路元件。
那麼,在AIGC 時代來臨之際,如OpenAI 的ChatGPT 和Google 的Bard 號稱可以生成代碼,也有不少開發者使用過它們創建了一個又一個網站,但是當前在其應用範圍主要聚焦在軟件領域的情況,這些AIGC 工具能否將硬件工程師的”翻譯“(文檔需求轉換成代碼)工作給取而代之。
基於此,研究人員使用了8 種具有代表性的基準,研究了在生成硬件描述語言本身的編寫時,最先進的LLM 狀態的能力和局限性。
實驗環節,研究人員將ChatGPT 作為一種模式識別器(充當人類的角色),可以在各種類型的語言(口頭語、書面語)中轉換自如,同時,ChatGPT 可以讓硬件工程師們跳過HDL 階段。
整體驗證流程如下圖所示:
如果一個設計不符合規範,它會在相同的提示下再生成五次。倘若它仍然不符合規範,那麼它就會失敗。
一旦設計和測試用例已經寫好了,它們就會被用Icarus Verilog (iverilog,Verilog 硬件描述語言的實現工具之一) 編譯。如果編譯成功,則進行模擬。如果沒有報告錯誤,則設計通過,不需要反饋(NFN)。
如果這些操作中的任何一個報告了錯誤,它們就會被反饋到模型中,並被要求“請提供修正”,這被稱為工具反饋(TF)。如果相同的錯誤或錯誤類型出現三次,那麼簡單的人類反饋(SHF) 是由用戶給出的,通常通過說明Verilog 中什麼類型的問題會導致這個錯誤(例如:聲明中出現語法錯誤)。
如果錯誤持續存在,則會給出適度的人類反饋(Moderate Human Feedback,MHF) ,並提供稍微更直接的信息給工具,以識別特定的錯誤。
如果錯誤持續存在,則會給出高級人類反饋(Advanced HumanFeedback,AHF),它依賴於精確地指出錯誤所在和修復它的方法。
一旦設計編譯和模擬,沒有失敗的測試用例,它就被認為是成功的。
但是如果高級反饋不能修復錯誤,或者用戶需要編寫任何Verilog 代碼來解決錯誤,則測試被認為是失敗的。如果會話超過25 條消息,符合每3 小時ChatGPT-4 消息的OpenAI 速率限制,則該測試也被視為失敗。
Bard和HuggingChat在首輪測試中折戟
具體實驗環節,研究人員針對8 位移位寄存器進行了基準測試。
他們要求大模型嘗試為一個「測試名稱」創建一個Verilog 模型,然後提供規範,定義輸入和輸出端口以及任何需要的進一步細節,並進一步詢問大模型“我將如何寫一個設計,以滿足這些規格?”
你能為這個設計編寫一個Verilog 測試台嗎?測試台應該具備自檢功能,並且能夠與iverilog 一起用於仿真和驗證。如果測試用例失敗,測試台應該能夠提供足夠的信息,以便找到並解決錯誤。
鑑於Bard 和HuggingChat 在初始挑戰基準提示符上的性能較差,研究人員決定後續只針對ChatGPT-4 和ChatGPT-3.5 進行完整的測試。
ChatGPT-4 和ChatGPT-3.5 的角逐
下圖顯示了ChatGPT-4 和ChatGPT-3.5 的基準測試結果,明顯可以看出,ChatGPT-3.5 的性能要比ChatGPT-4 差一些,大多數對話導致基準測試失敗,而大多數通過自己測試台的對話都是不兼容的。
反觀ChatGPT-4 的表現更勝一籌,大多數的基準測試都通過了,其中大部分只需要工具反饋。不過,在測試台設計中,仍然需要人類的反饋。
為了探索LLM 的潛力,研究人員還讓硬件設計工程師和ChatGPT-4 配對,共同設計一種基於8 位的累加器的微處理器。
對ChatGPT-4 的初始提示如下所示:
讓我們一起做一個全新的微處理器設計......我認為我們需要限制自己的累加器8位架構,沒有多字節指令。既然如此,你覺得我們該怎麼開始?
最終,ChatGPT-4 與硬件工程師共同設計了一種新穎的基於8 位累加器的微處理器架構。該處理器採用Skywater 130nm 工藝,這意味著這些“Chip-Chat”實現了我們認為是世界上第一個完全由人工智能編寫的用於流片的HDL。
在論文中,研究人員總結道,ChatGPT-4 產生了相對高質量的代碼,這可以從短暫的驗證周轉中看出。考慮到ChatGPT-4 每3 小時25 條消息的速率限制,此設計的總時間預算為ChatGPT-4 的22.8 小時(包括重新啟動)。每條消息的實際生成平均約為30 秒:如果沒有速率限制,整個設計本可以在<100 分鐘內完成,具體取決於人類工程師。儘管ChatGPT-4 相對容易地生成了Python 彙編程序,但它很難編寫為我們的設計編寫的程序,而且ChatGPT也沒有編寫任何重要的測試程序。
總體上,研究人員完成了在模擬和FPGA 仿真中評估了一系列全面的人工編寫的彙編程序中的所有24 條指令。
ChatGPT 能夠節省芯片開發週期
“這項研究產生了我們認為是第一個完全由AI 生成的HDL,用於製造物理芯片,”紐約大學Tandon 的研究助理教授兼研究團隊成員Hammond Pearce 博士說。 “一些人工智能模型,如OpenAI 的ChatGPT 和谷歌的Bard,可以生成不同編程語言的軟件代碼,但它們在硬件設計中的應用尚未得到廣泛研究。這項研究表明AI 也可以使硬件製造受益,尤其是當它被用於對話時,你可以通過一種來回的方式來完善設計。”
然而,在這個過程中,研究人員也需要進一步測試和解決將AI 用於芯片設計所涉及的安全考慮因素。
整體而言,雖然ChatGPT 不是一款專門面向硬件領域的自動化軟件工具,但是它可以成為一款EDA 輔助工具,而且幫助EDA 設計師們大大降低了知識門檻。
研究人員也表示,如果在現實環境中實施,在芯片製造中使用LLM 模型可以減少HDL 轉換過程中的人為錯誤,有助於提高生產力,縮短設計時間和上市時間,並允許進行更具創意的設計。其實,僅是這一點,ChatGPT 便值得被硬件工程師們拿來在硬件領域參與更多的嘗試與探索。
更詳細的測試流程見論文:
參考: