OKIアイディエス、設計/検証サービス用にSiemensの高位合成ツール「Catapult」を導入
2023年6月29日、SiemensはOKIアイディエスによる同社製品「Catapult」の導入事例を発表した。
発表によるとOKIアイディエスは、同社の設計/検証サービスにおける高位合成および高位検証の実現にSiemensの「Catapult™」を採用。同社では既存の高位合成フローにおいて、合成用モデルと元のアルゴリズム・モデル、合成用モデルと合成後のRTLの等価性検証の効率化が課題となっていた。
OKIアイディエスは「Catapult」を用いた高位合成および高位検証フローを自社の設計/検証サービスに組み込むことで、課題となっていた効率的な等価性検証を実現。合成用モデルとアルゴリズム・モデルの検証に使うテストベンチをRTL機能検証用のテストベンチに自動変換することで、RTLの機能検証用のテストベンチをわざわざ作ることなくRTLの機能検証が可能となった。実行仕様として使用したC/C++の高レベルのコードをRTLの機能検証に利用できるため、設計品質の向上も可能になるという。
OKIアイディエスは、「Catapult」の導入によりRTL機能検証の大幅な効率化は可能となり、納期が20%以上短縮できると見ている。
Siemensの高位合成ツール「Catapult」には、高位合成機能と合わせてテストベンチ変換などを行う検証用の環境「SCVerify」やデザイン・チェッカー機能など、高度かつ高レベルな検証機能が統合されている。
= EDA EXPRESS 菰田 浩 =
（2023.06.30
）