|
Vendors - Jasper Design Automation (CyberTec)
進化するフォーマル！ スケールアップしたソリューション！
Jasper社が新たな製品ラインナップをリリース
Jasper社のフラッグシップであるフォーマル検証ツールJasperGoldは、新バージョンv6.0で大きく改良されました。
検証エンジンが、従来に比べて大幅に性能アップが図られ、より大規模な回路を高速に検証できるようになりました。加えて新製品JasperCoreがラインナップされ、コンピュート・ファームを利用した並列処理が可能となり、大量の検証を高速に、かつ効率良く実現いたします。
またJasperGoldでは、検証の課題に対する個別のソリューションも充実し、適用範囲が拡大しています。ユニークな機能や検証モデル群( Proof Accelerator, Proof Kit, Formal Scoreboard ）が様々な検証を支援いたします。
新バージョンv6.0で一段と充実した適用範囲
■ 組合せの数が膨大な回路の検証
■ 標準プロトコル検証（ AXI, AHB, APB, OCP, USB, PCI Express, DDR )
■ データ転送検証
■ Xの伝播経路の自動抽出
■ 非同期のクロックドメインをまたぐ回路の検証
■ 乗算器を含む回路の検証
■ アービターの検証
■ キャッシュ・コントローラの検証
■ デッドロック、ハングアップの検証
■ 性能 (レイテンシー)の調査
■ SoCの接続検証
■ 実チップでの不具合対策
さらにJasper社ではそのフォーマル技術を、検証を超えた新たな分野へと活用を広げています。Jasper社のActiveDesignでは長年解決されていなかった設計者によるセルフテスト（デバッグ）や設計の再利用の問題を解決いたします。Jasper社独自の ”Behavioral Indexing Technology“および”Visualize Technology”により、設計者による設計フェーズでの品質向上を実現し、また設計の再利用のために費やされる工数や労力の削減を可能にいたします。
|
