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