Verisity在IC功能验证自动化领域荣获美国专利商标局三项专利

Verisity Ltd.（Nasdaq：VRST），是一家位于美国加州硅谷专门提供有关IC功能验证自动化的EDA软件公司，公司于2001年6月4日宣布获得美国专利商标局有关IC功能验证自动化领域的三项专利，分别是：

美国专利号码：6,182,258

标题：Method and Apparatus for Test Generation During Circuit Design

其包含了利用一个新的验证程序语言和工具来达到自动产生功能验证环境，自动产生输入数据的技术，和多重限制设定的解决方法。

美国专利号码：6,141,630

标题：System and Method for Automated Design Verification

其技术包含了自动侦测功能验证的结果，找出未被含盖的部分，并且自动产生验证输入数据。

美国专利号码：6,219,809

标题：System and Method for Applying Flexible Constraints

其包含了最新的随机的输入数据产生技术，来解决大多数的应用 IC 的功能验证。

这三项专利的技术已经被应用在Verisity的相关设计自动化应用软件内，Verisity 的创始人兼技术总监Yoav Hollander表示：这三项专利的取得更确认了Verisity 在功能验证自动化领域的领先地位，Verisity 将会利用这些专利的关键技术来提供客户更先进更有效率的功能验证解决方案。

关于 Verisity：

Verisity主要专注于IC功能验证问题的解决，当IC设计进入系统单芯片的规格后，功能验证工作复杂度大幅增加，Verisity公司的产品能够加速验证工作的自动化，提高IC产品的质量和减少开发时程与成本。