在2003年，三位芯片设计人员联合提出了针对提高IC验证质量的新思路，日前他们的新概念将见储于世，这是因为已获得风险投资的新兴公司Certess宣布，他们已开始开发成功的“功能合格证明”技术。

      功能合格证明(functional qualification)基本上是一种检验IC验证程序本身的一种方式。它远远超越了目前的代码和功能覆盖验证方法，能告诉验证工程师在设计中是否存在没有被检测到的缺陷。Certess(加州Campbell)虽然尚未推出采用这一技术的产品，但声称他们已经采用该技术为三家客户进行了生产。

     “验证的一个关键问题是缺乏目标质量保证，”于2005年9月加盟该公司Michel Courtoy是Certess的首席执行官，他这样说道。以前他在Cadence Design Systems公司负责版图验证产品的市场营销，并且在Quickturn Design Systems、Osprey Design Systems、Aptix和Frequency Technology也担任过高级管理职位。

      Certess还吸引了在EDA业界经验丰富的Jacques Benkoski作为董事会主席。Benkoski时任U.S. Venture Partners(USVP)的风险管理人员，他也是Monterey Design Systems的前首席执行官和总裁，该公司在偿试开始一项综合RTL到GDSII实现工具失败后，在2004年由Synopsys兼并。 Benkoski也是电子系统级工具提供商Synfora公司的主席，以及像Kilopass、Clear Shape Technologies和LightSpeed Logic这样的USVP投资组合公司的顾问。

      Benkoski于2004年就职于董事会，以帮助三位创始人，Mark Hampton、Mel Gilmore和Jeorg Grosse建立一个公司。“我认为他们正在解决一个真正重要的问题，”Benkoski 说，“我们正与早期的一些客户合作，而且反馈的确不错。”

      USVP不是Certess的投资者。在收到最初一轮的种子资金后，这家新兴公司在2005年收到了总部位于瑞士的Index Ventures 的400万美元的投资。Index Ventures的创始人Giuseppe Zocco也坐上了Certess董事会总监的交椅。

      “我认为Certess在覆盖技术领域正在迈出另一个步子，”Gary Smith EDA的首席分析师Gary Smith表示，“ 我们早就明白需要完成的是什么，但它一直是一个棘手的技术问题，如果Certess工具如当初期望地那样奏效，这将会弥合在验证领域的一个重要缺口。”

      国际化的工作团队

      Hampton是把整个项目的幕后策划，他目前是该公司的首席技术官。他与Certess的现场应用总裁Grosse一起工作，Grosse在Hampton的祖国新西兰的Tait Electronics工作。后来，Hampton与位于都伯林Parthus-Ceva的爱尔兰本地人Gilmore一起工作，Gilmore现任Certess的销售总裁。是Hampton推动这一努力，使三人联手组成了Certess公司。Hampton和Gilmore与Certess的研发团队一起在法国的格勒诺布尔工作。身为德国人的Grosse则驻扎在美国的总部。

      “在验证领域的一个难以启齿的秘密是：我们的确不能够校准验证设备，” Hampton说，“没有针对验证的反馈，这可是个大漏洞。我那时正作为一名验证顾问，并且意识到没有人正在解决这一问题。”

      许多验证工程师目前采用代码和功能覆盖来获得有关验证完备性的数据。但这些覆盖技术是仿真的副产品，Hampton说，但是他们没有将之应用于其它像形式仿真这样的其它方法。此外，他说，功能覆盖不会告诉你是否你忘记写核查器。但是Certess能做到这一点。

      Courtoy说，功能验证的目的“是确认在设计中是否存在缺陷，这些缺陷是验证环境本来就应该发现的。”这是必不可少的，他说，因为验证已经比设计变得更为复杂。“实际上并没有测量，”他表示，“一项设计是否完成了验证，人们对此并没有十分的把握。”

      Certess尚未发布该公司仍秘而不宣的工具的详情，但Courtoy称，它将补足现有的验证环境，并最初将把重点放在在RTL验证上。度量数据是一种可能的输出，但工具也将识别像缺失核查器这样的验证中存在的漏洞，并用指出代码中的漏洞位置。

      据Benkoski称，Certess正着手解决验证难题，“这完全是从内到外进行的。它虽然不是一项变革，但是，却是解决出带中所存在的缺陷的一个努力。”

      在项目的早期，Benkoski发挥了更积极的作用。“我帮助(创始人)避免战术性错误，并且提供你所期望的监导，”他表示，“然后，我们确定公司进展良好，并且是聘请一名首席执行官的时候了。Michel加盟进来，所以我作为一名董事会成员回到幕后。”

      Monterey花了七年的时间来开发一种全面的RTL-to-GDSII设计套件，旨在“成为主要EDA供应商而一搏，但是，Certess不会花太长时间。Monterey当时正试图解决EDA市场存在的大量问题的解决办法；而我们的努力则更加专注，”Benkoski表示。