コニカミノルタ、CatapultフローでC++サインオフの可能性を確信

我々のチームは、コニカミノルタの多機能周辺機器、プロフェッショナル・デジタル印刷システム、ヘルスケア超音波診断装置をはじめ、新たなビジネスをサポートする設計を担当しており、長年Catapult® HLS Platformを活用しています。C++レベルでコーディングし、CatapultでRTLを合成することで、劇的に生産性を向上させています。長期にわたるCatapultの使用経験を通じて、高位合成 (HLS) での設計抽象度と検証抽象度のギャップを埋めることができれば、生産性はさらに向上するとの認識に至りました。このギャップを埋めるためにメンターがHLSフローに追加した高位検証ツールとそのテクノロジーを評価し、Catapultの開発チームにフィードバックしました。本稿では、我々が採用した高位検証フローを紹介します。

高位合成(HLS)の設計抽象度と検証の間に存在する抽象度ギャップを埋めて生産性を向上させる

私たちは、長年のCatapultの経験から、高位合成(HLS)の設計抽象度と検証の間に存在する抽象度ギャップを埋めることで、生産性をさらに向上させることができると認識しました。私たちは、このギャップを埋めるためにシーメンス・デジタル・インダストリーズ・ソフトウェア社がHLSフローに追加した高位検証ツールや技術を評価し、Catapultチームにフィードバックした。本稿は、このハイレベル検証フローを採用したことを記録したものである。