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

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

   Certess還吸引了在EDA業(yè)界經(jīng)驗(yàn)豐富的Jacques Benkoski作為董事會主席。Benkoski時任U.S. Venture Partners(USVP)的風(fēng)險管理人員，他也是Monterey Design Systems的前首席執(zhí)行官和總裁，該公司在償試開始一項(xiàng)綜合RTL到GDSII實(shí)現(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(rèn)為他們正在解決一個真正重要的問題，”Benkoski 說，“我們正與早期的一些客戶合作，而且反饋的確不錯。”

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

    “我認(rèn)為Certess在覆蓋技術(shù)領(lǐng)域正在邁出另一個步子，”Gary Smith EDA的首席分析師Gary Smith表示，“ 我們早就明白需要完成的是什么，但它一直是一個棘手的技術(shù)問題，如果Certess工具如當(dāng)初期望地那樣奏效，這將會彌合在驗(yàn)證領(lǐng)域的一個重要缺口?！?

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

   Hampton是把整個項(xiàng)目的幕后策劃，他目前是該公司的首席技術(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ā)團(tuán)隊(duì)一起在法國的格勒諾布爾工作。身為德國人的Grosse則駐扎在美國的總部。

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

   許多驗(yàn)證工程師目前采用代碼和功能覆蓋來獲得有關(guān)驗(yàn)證完備性的數(shù)據(jù)。但這些覆蓋技術(shù)是仿真的副產(chǎn)品，Hampton說，但是他們沒有將之應(yīng)用于其它像形式仿真這樣的其它方法。此外，他說，功能覆蓋不會告訴你是否你忘記寫核查器。但是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í)際上并沒有測量，”他表示，“一項(xiàng)設(shè)計(jì)是否完成了驗(yàn)證，人們對此并沒有十分的把握?！?

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

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

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

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