中科院計(jì)算所在芯片全自動(dòng)設(shè)計(jì)研究方向取得進(jìn)展
芯片設(shè)計(jì)是一項(xiàng)非常具有挑戰(zhàn)性且耗費(fèi)人力和資源的工作。通常需要由工程師團(tuán)隊(duì)編寫代碼，然后在電子設(shè)計(jì)自動(dòng)化（EDA）工具的輔助下生成電路邏輯。針對(duì)人工編寫的代碼，工程師團(tuán)隊(duì)需反復(fù)對(duì)其進(jìn)行迭代的功能驗(yàn)證和性能/功耗優(yōu)化。該過(guò)程通常需要上百人團(tuán)隊(duì)迭代數(shù)月或數(shù)年才能完成。 $7TYix8=
oVoTnGNM6
芯片全自動(dòng)設(shè)計(jì)的目標(biāo)是由機(jī)器代替人自動(dòng)生成滿足功能和性能需求規(guī)范的電路邏輯，從而極大減少人力和資源投入，加速設(shè)計(jì)迭代。自計(jì)算機(jī)科學(xué)奠基人之一A. Church在1957年提出“邱奇問(wèn)題”以來(lái)，處理器芯片的全自動(dòng)化設(shè)計(jì)成為人工智能領(lǐng)域的長(zhǎng)期愿景。但由于處理器芯片電路準(zhǔn)確率要求高、設(shè)計(jì)空間大，處理器邏輯必須由人類專家進(jìn)行邏輯設(shè)計(jì)。這成為了整個(gè)流程中的設(shè)計(jì)效率瓶頸。 RduA0@g0
+SPC@E_v
中科院計(jì)算技術(shù)研究所處理器芯片全國(guó)重點(diǎn)實(shí)驗(yàn)室團(tuán)隊(duì)在實(shí)驗(yàn)室主任陳云霽帶領(lǐng)下，聚焦解決處理器芯片自動(dòng)設(shè)計(jì)所面臨的精度和規(guī)模兩大挑戰(zhàn)，提出了以驗(yàn)證為中心的處理器智能設(shè)計(jì)方法學(xué)：從隨機(jī)電路出發(fā)，由機(jī)器全自動(dòng)完成包括驗(yàn)證、調(diào)試和修復(fù)的反復(fù)迭代直到獲得滿足設(shè)計(jì)需求的目標(biāo)電路。 Xe=@I*
m
|