在2003年，三位芯片设计人员联合提出了针对提高ic验证质量的新思路，日前他们的新概念将见储于世，这是因为已获得风险投资的新兴公司certess宣布，他们已开始开发成功的“功能合格证明”技术。
功能合格证明(functionalqualification)基本上是一种检验ic验证程序本身的一种方式。它远远超越了目前的代码和功能覆盖验证方法，能告诉验证工程师在设计中是否存在没有被检测到的缺陷。certess(加州campbell)虽然尚未推出采用这一技术的产品，但声称他们已经采用该技术为三家客户进行了生产。
“验证的一个关键问题是缺乏目标质量保证，”于2005年9月加盟该公司michelcourtoy是certess的首席执行官，他这样说道。以前他在cadencedesignsystems公司负责版图验证产品的市场营销，并且在quickturndesignsystems、ospreydesignsystems、aptix和frequencytechnology也担任过高级管理职位。
certess还吸引了在eda业界经验丰富的jacquesbenkoski作为董事会主席。benkoski时任u.s.venturepartners(usvp)的风险管理人员，他也是montereydesignsystems的前首席执行官和总裁，该公司在偿试开始一项综合rtl到gdsii实现工具失败后，在2004年由synopsys兼并。benkoski也是电子系统级工具提供商synfora公司的主席，以及像kilopass、clearshapetechnologies和lightspeedlogic这样的usvp投资组合公司的顾问。
benkoski于2004年就职于董事会，以帮助三位创始人，markhampton、melgilmore和jeorggrosse建立一个公司。“我认为他们正在解决一个真正重要的问题，”benkoski说，“我们正与早期的一些客户合作，而且反馈的确不错。”
usvp不是certess的投资者。在收到最初一轮的种子资金后，这家新兴公司在2005年收到了总部位于瑞士的indexventures的400万美元的投资。indexventures的创始人giuseppezocco也坐上了certess董事会总监的交椅。
“我认为certess在覆盖技术领域正在迈出另一个步子，”garysmitheda的首席分析师garysmith表示，“我们早就明白需要完成的是什么，但它一直是一个棘手的技术问题，如果certess工具如当初期望地那样奏效，这将会弥合在验证领域的一个重要缺口。”
国际化的工作团队
hampton是把整个项目的幕后策划，他目前是该公司的首席技术官。他与certess的现场应用总裁grosse一起工作，grosse在hampton的祖国新西兰的taitelectronics工作。后来，hampton与位于都伯林parthus-ceva的爱尔兰本地人gilmore一起工作，gilmore现任certess的销售总裁。
