形式验证

Formal Verification Team

如何使集成电路从形式验证中受益

形式验证是一个概括性术语,它使用基于数学变换的静态分析来判断硬件或者软件的行为是否正确。这是相对于动态验证技术如仿真,即连续施加激励到被测设计(DUT),并检查相应的响应。

使用形式方法学来实现静态分析具有一定的优势。建立用来产生和检查激励的传统测试平台是不必要的。这使得用Verilog这样的硬件描述语言(HDLs)描述的新设计的验证可以开始得更早,同时代码是不断变化的,从而在源头避免了错误。实际上,复杂的设计可以简单地花很长时间在仿真器上来全面测试。在这种情况下,形式验证可以帮助更快地追踪并捕捉到那些通过仿真不容易发现的错误。

形式验证技术

Sondrel的顾问将进行初步评估,以了解怎样的形式验证最有利于您的设计环境。

Sondrel可以提供下述服务

请联系并咨询我们的专家来讨论您的项目并获得最适合您项目的服务。

您可以下载关于我们形式验证咨询服务的一个免费数据表。在这里

能力

Request a Quote Request a Call 新闻间 职业资讯 了解更多

Sondrel IC Design Services

Follow us:        

© 2018 Sondrel IC Design Services | Privacy Policy