米Real Intent社、タイミング例外の正当性を確認するSDC検証ツール「PureTime」をバージョンアップ

2007年4月3日、フォーマル検証を中心とした検証ツールを手掛ける、米Real Intent社は、タイミング例外の自動チェックツール「PureTime」の新バージョン2.0のリリースを発表した。

Real Intentの「PureTime」は、SDCのフォルスパスやマルチサイクル・パスのタイミング例外の正当性を検証するツールで、人手による確認作業を自動処理する事でタイミング・エラーを取り除くと同時にデザインのTAT短縮を図るというもの。※SDC：Synopsys Design Constraint

発表によると今回のバージョンアップでは、新たに拡張SDCのエクスポート機能が追加されたほか、内部処理のアルゴリズムが強化されパフォーマンスが向上。シーケンシャル解析機能も完全なものへとエンハンスされたという。