Cadenceのシミュレータやフォーマル検証ツール等がArmベースサーバーで稼働
2018年10月16日、Cadenceは「Cadence®Verification Suite」がArm®ベースのハイパフォーマンス・コンピューティング・サーバ環境に対応した事を発表した。
発表によると今回Cadenceの検証ツールが対応したのは、Hewlett Packard Enterpriseのサーバー「Apollo 70 System」。同サーバーはコスト効率の高さを売りにしており、Armv8-AベースのサーバーSoC「Marvell® ThunderX2®」で構築されている。
ARMベースサーバ上で稼働する「Cadence Verification Suite」には、下記検証ツールが含まれている。
・論理シミュレータ「Xcelium Parallel Logic Simulation Platform」
・フォーマル検証ツール「JasperGold®」
・メトリック・ドリブン・サインオフ・プラットフォーム「vManager™」
・デバッグ・プラットフォーム「Indago™」
・各種検証IP
= EDA EXPRESS 菰田 浩 =
（2018.10.29
）