在2003年，三位芯片設(shè)計人員聯(lián)合提出了針對提高IC驗證質(zhì)量的新思路，日前他們的新概念將見儲于世，這是因為已獲得風險投資的新興公司Certess宣布，他們已開始開發(fā)成功的“功能合格證明”技術(shù)。
功能合格證明(functional qualification)基本上是一種檢驗IC驗證程序本身的一種方式。它遠遠超越了目前的代碼和功能覆蓋驗證方法，能告訴驗證工程師在設(shè)計中是否存在沒有被檢測到的缺陷。Certess(加州Campbell)雖然尚未推出采用這一技術(shù)的產(chǎn)品，但聲稱他們已經(jīng)采用該技術(shù)為三家客戶進行了生產(chǎn)。“驗證的一個關(guān)鍵問題是缺乏目標質(zhì)量保證，”于2005年9月加盟該公司Michel Courtoy是Certess的首席執(zhí)行官，他這樣說道。以前他在Cadence Design Systems公司負責版圖驗證產(chǎn)品的市場營銷，并且在Quickturn Design Systems、Osprey Design Systems、Aptix和Frequency Technology也擔任過高級管理職位。
Certess還吸引了在EDA業(yè)界經(jīng)驗豐富的Jacques Benkoski作為董事會主席。Benkoski時任U.S. Venture Partners(USVP)的風險管理人員，他也是Monterey Design Systems的前首席執(zhí)行官和總裁，該公司在償試開始一項綜合RTL到GDSII實現(xiàn)工具失敗后，在2004年由Synopsys兼并。 Benkoski也是電子系統(tǒng)級工具提供商Synfora公司的主席，以及像Kilopass、Clear Shape Technologies和LightSpeed Logic這樣的USVP投資組合公司的顧問。
Benkoski于2004年就職于董事會，以幫助三位創(chuàng)始人，Mark Hampton、Mel Gilmore和Jeorg Grosse建立一個公司?！拔艺J為他們正在解決一個真正重要的問題，”Benkoski 說，“我們正與早期的一些客戶合作，而且反饋的確不錯。”
USVP不是Certess的投資者。在收到最初一輪的種子資金后，這家新興公司在2005年收到了總部位于瑞士的Index Ventures 的400萬美元的投資。Index Ventures的創(chuàng)始人Giuseppe Zocco也坐上了Certess董事會總監(jiān)的交椅。
“我認為Certess在覆蓋技術(shù)領(lǐng)域正在邁出另一個步子，”Gary Smith EDA的首席分析師Gary Smith表示，“ 我們早就明白需要完成的是什么，但它一直是一個棘手的技術(shù)問題，如果Certess工具如當初期望地那樣奏效，這將會彌合在驗證領(lǐng)域的一個重要缺口?！?
國際化的工作團隊
Hampton是把整個項目的幕后策劃，他目前是該公司的首席技術(shù)官。他與Certess的現(xiàn)場應(yīng)用總裁Grosse一起工作，Grosse在Hampton的祖國新西蘭的Tait Electronics工作。后來，Hampton與位于都伯林Parthus-Ceva的愛爾蘭本地人Gilmore一起工作，Gilmore現(xiàn)任Certess的銷售總裁。是Hampton推動這一努力，使三人聯(lián)手組成了Certess公司。Hampton和Gilmore與Certess的研發(fā)團隊一起在法國的格勒諾布爾工作。身為德國人的Grosse則駐扎在美國的總部。
“在驗證領(lǐng)域的一個難以啟齒的秘密是：我們的確不能夠校準驗證設(shè)備，” Hampton說，“沒有針對驗證的反饋，這可是個大漏洞。我那時正作為一名驗證顧問，并且意識到?jīng)]有人正在解決這一問題?！?
許多驗證工程師目前采用代碼和功能覆蓋來獲得有關(guān)驗證完備性的數(shù)據(jù)。但這些覆蓋技術(shù)是仿真的副產(chǎn)品，Hampton說，但是他們沒有將之應(yīng)用于其它像形式仿真這樣的其它方法。此外，他說，功能覆蓋不會告訴你是否你忘記寫核查器。但是Certess能做到這一點。
Courtoy說，功能驗證的目的“是確認在設(shè)計中是否存在缺陷，這些缺陷是驗證環(huán)境本來就應(yīng)該發(fā)現(xiàn)的?！边@是必不可少的，他說，因為驗證已經(jīng)比設(shè)計變得更為復雜。“實際上并沒有測量，”他表示，“一項設(shè)計是否完成了驗證，人們對此并沒有十分的把握?！?
Certess尚未發(fā)布該公司仍秘而不宣的工具的詳情，但Courtoy稱，它將補足現(xiàn)有的驗證環(huán)境，并最初將把重點放在在RTL驗證上。度量數(shù)據(jù)是一種可能的輸出，但工具也將識別像缺失核查器這樣的驗證中存在的漏洞，并用指出代碼中的漏洞位置。
據(jù)Benkoski稱，Certess正著手解決驗證難題，“這完全是從內(nèi)到外進行的。它雖然不是一項變革，但是，卻是解決出帶中所存在的缺陷的一個努力?！?
在項目的早期，Benkoski發(fā)揮了更積極的作用?！拔?guī)椭?創(chuàng)始人)避免戰(zhàn)術(shù)性錯誤，并且提供你所期望的監(jiān)導，”他表示，“然后，我們確定公司進展良好，并且是聘請一名首席執(zhí)行官的時候了。Michel加盟進來，所以我作為一名董事會成員回到幕后?！?
Monterey花了七年的時間來開發(fā)一種全面的RTL-to-GDSII設(shè)計套件，旨在“成為主要EDA供應(yīng)商而一搏，但是，Certess不會花太長時間。Monterey當時正試圖解決EDA市場存在的大量問題的解決辦法；而我們的努力則更加專注，”Benkoski表示。
下載文檔
