Global Sources
電子工程專輯
 
電子工程專輯 > EDA/IP
 
 
EDA/IP  

專家談IC驗證:自動化工具難取代工程師智慧

上網時間: 2006年08月07日     打印版  Bookmark and Share  字型大小:  

關鍵字:驗證規劃  驗證  DAC  EDA  Verification 

透過對驗證實現某種程度的自動“簿記(bookkeeping)”,EDA工具有助於驗證,但是驗證領域專家──Mentor Graphics首席工程師Harry Foster卻表示,EDA工具最終仍不能取代創造驗證規劃的思維。

在設計自動化大會(DAC)一場關於建構驗證測試計劃(building a verification test plan)的座談會上,Foster表示製作驗證規劃的過程的價值是無法衡量的。「製作驗證規劃的過程讓我們能夠真正了解問題的關鍵。」Foster說。

按鈕式自動設計驗證(push-button, automated design)的概念並不是可靠的,Foster表示,因為該過程將永遠需要熟練的驗證工程師投入時間和努力,來決定其它的事情,例如,哪些模組適合於形式驗證?哪些要用模擬來驗證?

驗證過程就像是舉行宴會,EDA新創公司Averant的創始人兼總裁Ramin Hojati表示,在宴會開始之前,一些人要進去並確定需要什麼食物、節目安排等事項;而在驗證之前:「管理人員要介入並確定待驗證的晶片以及需要測試的計畫,以及那些部份要進行形式驗證?哪些部份要用模擬測試?」Hojati說。

「我看到的問題是,工程師根本沒有想明白他們要驗證的對象,就直接跳到寫聲明那一步。」Foster說。

Foster注意到:「模擬和形式驗證之間似乎正進行一場戰爭。」但是這位“現代驗證專家”認為,模擬和驗證兩者各有優缺點,要針對特定的問題做深入思考以選擇最佳化的解決方案並設定約束條件。

驗證規劃應該是“共享創意”

「驗證規劃不僅僅是羅列待驗證的功能列表,而且是製作一個設計的“共享創意(a shared vision)”」Foster表示。

Cadence Design Systems的驗證應用專家Panelist Andrew Piziali表示,開發驗證規劃需要參與一個計畫的許多人的合作,包括設計工程師、產品經理和其它人員;而可執行的驗證規劃應該是可重複使用、可配置和分等級舉例(hierarchically instantiated)的,並且可被用於符合性認證,。Piziali注意到,市場上有一些EDA工具能夠引導並自動進行驗證規劃過程。

驗證規劃不僅僅是一個文件,Foster表示,它是整個設計過程的組成部份。一個設計可以變為驗證規劃過程的組成部份,他指出,如果該設計一部份被認為是不可驗證的話。「我認為,把設計和驗證如此分開是錯誤的。」Foster說。

成功的驗證規劃要具備靈活性,Cisco Systems的硬體和CAD工程師、小組辯論的參與者Doron Stein說:「一種解決方案甚至不完全適用於同一家公司。」沒有用於驗證的“靈丹妙藥”,但是卻有“對症下藥”的方法。

Sun Microsystems的形式技術組硬體經理Catherine Ahlschlager對此表示贊同,他說,一個成功的驗證規劃需要包含基於聲明的方法、硬體加速和形式方法。正如Synopsys形式驗證組的科學家Janick Bergeron所說,驗證規劃需要:「針對不同的問題採取解決問題的辦法。」

德州儀器(TI)的Raj Mitra指出,在形式驗證過程中缺乏可預見性仍然是一個嚴重問題。「你永遠不知道什麼時候驗證過程才結束。」他說:「對於形式驗證來說,那是巨大的挑戰。」

Mitra力勸與會代表“從多角度思考”驗證問題,包括利用分區方法把驗證過程劃分為更小的片斷,並採用電子系統級(ESL)方法。他說,企業不應該廢除驗證團隊,但是,應該考慮各盡其用。「傳統的驗證方法缺乏彈性。」Mitra說。

Foster指出,在驗證規劃的過程中,為形式驗證識別良好的候選區塊(candidate blocks)是一個關鍵的步驟。缺乏一致性的區塊,如浮點和MPEG編解碼器,就不是良好的候選區塊,但他表示,具有一致性的區塊可能會是。

Foster說,形式驗證覆蓋率的定義在驗證規劃過程中發揮重要的作用:「你沒有時間和資源去追逐每一個細節。」

(原文連結處:Verification: Automation no substitute for thought, Foster says)

(Dylan McGrath)




投票數:   加入我的最愛
我來評論 - 專家談IC驗證:自動化工具難取代工程師...
評論:  
*  您還能輸入[0]個字
*驗證碼:
 
論壇熱門主題 熱門下載
 •   將邁入40歲的你...存款多少了  •  深入電容觸控技術就從這個問題開始
 •  我有一個數位電源的專利...  •  磷酸鋰鐵電池一問
 •   關於設備商公司的工程師(廠商)薪資前景  •  計算諧振轉換器的同步整流MOSFET功耗損失
 •   Touch sensor & MEMS controller  •  針對智慧電表PLC通訊應用的線路驅動器
 •   下週 深圳 llC 2012 關於PCB免費工具的研討會  •  邏輯閘的應用


EE人生人氣排行
 
返回頁首