2007-04-09から1日間の記事一覧

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

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