Real IntentがSDC検証ツール「PureTime」をバージョンアップ

2010年11月18日、フォーマル検証を中心とした検証ツールを手掛ける、米Real Intent社は、同社のSDC検証ツール「PureTime」のバージョンアップを発表した。

プレスリリース文

http://www.realintent.com/real-intent-news/2010-11-17

RealIntentの「PureTime」は、独自のフォーマル解析エンジンによって、SDCのフォルスパスやマルチサイクル・パスのタイミング例外の正当性を検証するツールで、デザイン制約のテンプレート作成や制約のカバレッジ解析なども可能としている。

今回のバージョンアップの主な内容は以下の通り。

・Equivalency checking between two constraint scenarios of the same design

・Coverage analysis of single as well as multi-mode designs

・Template generation including clock domain crossing false paths

・Additional smart checks to further improve quality