SolidTC工具可真实读取故障路径

为了消除繁锁的人工操作过程,Averant公司已经推出一款用于故障和多周期路径的自动验证工具。无独有偶,新兴企业Fishtail设计自动化公司早前发布了一款可以识别故障和多周期路径的产品,而Averant公司的SolidTC正好可以作为这款工具的补充。

maintext">

图1:SolidTC工具可验证故障路径

故障和多周期路径是指那些对时序分析工具而言看上去有错误,但实际上不会产生时序错误的信号路径。如果这些路径没有被定义为时序约束条件,综合工具就会浪费时间去试图优化它们,相应地静态时序分析器将把它们当成错误报告给设计者。

但直到SolidTC面世之前,业界一直没有很好的方法验证故障路径是否确实存在故障,Averant公司首席执行官Ramin Hojati表示。“你不得不去确认许多你相信不会发生的事情。”他说,“这时事情真的变得复杂起来。即使专家也很难看出一条路径是没有时延的。”结果是花费大量时间进行人工检查以验证故障和多周期路径,而且其中不可避免会遗漏一些错误。

Fishtail设计自动化公司去年发布了能够解决时序例外问题的Focus工具,它可以识别故障和多周期路径。作为它的补充,SolidTC可以验证由Focus确定的那些路径,Hojati表示。

Fishtail创始人兼首席执行官Ajay Daga也认同这两个工具具有互补性。

使用SolidTC时,用户只需要简单地输入RTL文件和新思时延约束文件。Hojati指出,SolidTC可以运行数百万门的设计,每小时能处理上百个约束条件。另外,他还透露,Averant公司曾与Magma设计自动化公司合作测试过SolidTC,并也在与Fishtail合作。

SolidTC延用了Averant公司形式属性检查器Solidify中的一些技术,同时增加了验证故障和多周期路径所需的属性产生算法。“精度非常高。”Hojati表示,“但与其它形式工具一样,它也存在无法给出答案的情况。”

SolidTC的一年使用费起价为4万美元。

作者:葛立伟