在2003年，三位芯片設(shè)計(jì)人員聯(lián)合提出了針對(duì)提高IC驗(yàn)證質(zhì)量的新思路，日前他們的新概念將見儲(chǔ)于世，這是因?yàn)橐勋@得風(fēng)險(xiǎn)投資的新興公司Certess宣布，他們已開始開發(fā)成功的“功能合格證明”技術(shù)。

   功能合格證明(functional qualification)基本上是一種檢驗(yàn)IC驗(yàn)證程序本身的一種方式。它遠(yuǎn)遠(yuǎn)超越了目前的代碼和功能覆蓋驗(yàn)證方法，能告訴驗(yàn)證工程師在設(shè)計(jì)中是否存在沒有被檢測(cè)到的缺陷。Certess(加州Campbell)雖然尚未推出采用這一技術(shù)的產(chǎn)品，但聲稱他們已經(jīng)采用該技術(shù)為三家客戶進(jìn)行了生產(chǎn)。

  “驗(yàn)證的一個(gè)關(guān)鍵問題是缺乏目標(biāo)質(zhì)量保證，”于2005年9月加盟該公司Michel Courtoy是Certess的首席執(zhí)行官，他這樣說道。以前他在Cadence Design Systems公司負(fù)責(zé)版圖驗(yàn)證產(chǎn)品的市場(chǎng)營銷，并且在Quickturn Design Systems、Osprey Design Systems、Aptix和Frequency Technology也擔(dān)任過高級(jí)管理職位。

   Certess還吸引了在EDA業(yè)界經(jīng)驗(yàn)豐富的Jacques Benkoski作為董事會(huì)主席。Benkoski時(shí)任U.S. Venture Partners(USVP)的風(fēng)險(xiǎn)管理人員，他也是Monterey Design Systems的前首席執(zhí)行官和總裁，該公司在償試開始一項(xiàng)綜合RTL到GDSII實(shí)現(xiàn)工具失敗后，在2004年由Synopsys兼并。 Benkoski也是電子系統(tǒng)級(jí)工具提供商Synfora公司的主席，以及像Kilopass、Clear Shape Technologies和LightSpeed Logic這樣的USVP投資組合公司的顧問。

    Benkoski于2004年就職于董事會(huì)，以幫助三位創(chuàng)始人，Mark Hampton、Mel Gilmore和Jeorg Grosse建立一個(gè)公司。“我認(rèn)為他們正在解決一個(gè)真正重要的問題，”Benkoski 說，“我們正與早期的一些客戶合作，而且反饋的確不錯(cuò)?！?

    USVP不是Certess的投資者。在收到最初一輪的種子資金后，這家新興公司在2005年收到了總部位于瑞士的Index Ventures 的400萬美元的投資。Index Ventures的創(chuàng)始人Giuseppe Zocco也坐上了Certess董事會(huì)總監(jiān)的交椅。

    “我認(rèn)為Certess在覆蓋技術(shù)領(lǐng)域正在邁出另一個(gè)步子，”Gary Smith EDA的首席分析師Gary Smith表示，“ 我們?cè)缇兔靼仔枰瓿傻氖鞘裁?，但它一直是一個(gè)棘手的技術(shù)問題，如果Certess工具如當(dāng)初期望地那樣奏效，這將會(huì)彌合在驗(yàn)證領(lǐng)域的一個(gè)重要缺口?！?

    國際化的工作團(tuán)隊(duì)

   Hampton是把整個(gè)項(xiàng)目的幕后策劃，他目前是該公司的首席技術(shù)官。他與Certess的現(xiàn)場(chǎng)應(yīng)用總裁Grosse一起工作，Grosse在Hampton的祖國新西蘭的Tait Electronics工作。后來，Hampton與位于都伯林Parthus-Ceva的愛爾蘭本地人Gilmore一起工作，Gilmore現(xiàn)任Certess的銷售總裁。是Hampton推動(dòng)這一努力，使三人聯(lián)手組成了Certess公司。Hampton和Gilmore與Certess的研發(fā)團(tuán)隊(duì)一起在法國的格勒諾布爾工作。身為德國人的Grosse則駐扎在美國的總部。

  “在驗(yàn)證領(lǐng)域的一個(gè)難以啟齒的秘密是：我們的確不能夠校準(zhǔn)驗(yàn)證設(shè)備，” Hampton說，“沒有針對(duì)驗(yàn)證的反饋，這可是個(gè)大漏洞。我那時(shí)正作為一名驗(yàn)證顧問，并且意識(shí)到?jīng)]有人正在解決這一問題。”

   許多驗(yàn)證工程師目前采用代碼和功能覆蓋來獲得有關(guān)驗(yàn)證完備性的數(shù)據(jù)。但這些覆蓋技術(shù)是仿真的副產(chǎn)品，Hampton說，但是他們沒有將之應(yīng)用于其它像形式仿真這樣的其它方法。此外，他說，功能覆蓋不會(huì)告訴你是否你忘記寫核查器。但是Certess能做到這一點(diǎn)。

   Courtoy說，功能驗(yàn)證的目的“是確認(rèn)在設(shè)計(jì)中是否存在缺陷，這些缺陷是驗(yàn)證環(huán)境本來就應(yīng)該發(fā)現(xiàn)的?！边@是必不可少的，他說，因?yàn)轵?yàn)證已經(jīng)比設(shè)計(jì)變得更為復(fù)雜。“實(shí)際上并沒有測(cè)量，”他表示，“一項(xiàng)設(shè)計(jì)是否完成了驗(yàn)證，人們對(duì)此并沒有十分的把握?！?

   Certess尚未發(fā)布該公司仍秘而不宣的工具的詳情，但Courtoy稱，它將補(bǔ)足現(xiàn)有的驗(yàn)證環(huán)境，并最初將把重點(diǎn)放在在RTL驗(yàn)證上。度量數(shù)據(jù)是一種可能的輸出，但工具也將識(shí)別像缺失核查器這樣的驗(yàn)證中存在的漏洞，并用指出代碼中的漏洞位置。

    據(jù)Benkoski稱，Certess正著手解決驗(yàn)證難題，“這完全是從內(nèi)到外進(jìn)行的。它雖然不是一項(xiàng)變革，但是，卻是解決出帶中所存在的缺陷的一個(gè)努力?！?

   在項(xiàng)目的早期，Benkoski發(fā)揮了更積極的作用。“我?guī)椭?創(chuàng)始人)避免戰(zhàn)術(shù)性錯(cuò)誤，并且提供你所期望的監(jiān)導(dǎo)，”他表示，“然后，我們確定公司進(jìn)展良好，并且是聘請(qǐng)一名首席執(zhí)行官的時(shí)候了。Michel加盟進(jìn)來，所以我作為一名董事會(huì)成員回到幕后。”

    Monterey花了七年的時(shí)間來開發(fā)一種全面的RTL-to-GDSII設(shè)計(jì)套件，旨在“成為主要EDA供應(yīng)商而一搏，但是，Certess不會(huì)花太長時(shí)間。Monterey當(dāng)時(shí)正試圖解決EDA市場(chǎng)存在的大量問題的解決辦法；而我們的努力則更加專注，”Benkoski表示。