Siemens Digital Industries Software社が先進機能検証ソフトウェア「Questa Verification IQ」を発表
2023年 2月13日
Siemens Digital Industries Software社 2023年2月3日
Siemens Digital Industries Software社は2023年2月3日、同社製先進機能検証ソフトウェアである「Questa Verification IQ」を発表した。同製品は、次世代集積回路（IC）の設計の複雑化に伴う課題を克服するための論理検証を支援するソリューションである。チームベース型かつクラウド対応のデータドリブンな同ソフトウェアは、人工知能（AI）技術を活用しており、検証完了までの時間を短縮し、トレーサビリティを合理化してリソースを最適化し、市場投入までの時間を短縮することができる。
Questa Verification IQは、設計チームが迅速に設計クロージャを達成できるよう、要件管理ソフトウェアである「Polarion REQUIREMENTS」と統合されており、プロジェクト期間中に実行される全てのエンジンからあらゆるデータを自動的に取得し、設計・検証プロセスにおける要件管理、コーディング、テスト、リリース管理を支援するプラットフォームを構築している。この組み合わせにより、機能安全コンプライアンス業務に関して最適化されたデジタルスレッドが提供され、要件から検証結果、実装までトレーサブルなソリューションが実現する。
Questa Verification IQは、SiemensのQuestaプラットフォーム、OneSpinソフトウェア、アナログ信号・ミックスドシグナルのシミュレーション用のSymphonyプラットフォーム、ならびにエミュレーションとプロトタイピング用のVeloceハードウェアにあるフォーマルエンジンとシミュレーションエンジンからのカバレッジデータを一元管理する。Questa Verification IQの機械学習機能は、データを解析してパターンや矛盾点を予測し、根本原因を特定し、潜在的な問題に対する解決策を提示することで効率を向上させ、チームがサインオフするために必要な情報を提供する。
Siemens EDA社の設計検証技術担当バイスプレジデント兼ゼネラルマネージャーであるAbhi Kolpekwar氏は「チップの設計と検証の最先端にいる世界中の企業は、ビッグデータを活用してイノベーションを起こし、業務を合理化して効率性を向上させています。SiemensはQuesta Verification IQを発表したことで、特にSiemensのPolarion REQUIREMENTSソフトウェアとの組み合わせによる解析、コラボレーション、トレーサビリティを活用して、検証プロセスの迅速化と簡素化が図れる最先端のデータ駆動型検証ソリューションでICの検証を変革していきます」と述べる。
Questa Verification IQは、Webベースのアプリケーションフレームワークで実装されており、デバイスやOSに依存せず、最小限のインストール費用で拡張性のある検証管理を実現する。パブリッククラウド、プライベートクラウド、ハイブリッドクラウドのいずれにも対応し、ネイティブコラボレーションとデータアクセスの一元化という特長を持つ同製品は、グローバルな技術チームがリアルタイムにコラボレーションを行って検証管理プロセスを加速できるようにし、プロジェクトの可視性をリアルタイムに提供する。また、ワークフローを自動化するために、Jenkinsなどの一般的な継続的インテグレーション（CI）ツールとも完全に統合されている。