Siemens EDA/シーメンス EDA
（旧Mentor Graphics/メンターグラフィックス）

ModelSim

ModelSimはFPGA開発で最も多く採用されているデファクトスタンダードのHDLシミュレータで、VHDL、Verilog、SystemVerilog設計記述の混在設計をシングルカーネルでシミュレーションします。PSL／SVAアサーションを使用するとバグ発生のシミュレーション時間およびバグの発生箇所を容易に特定できます。
そしてソースコード、波形、プロセス表示とそのクロスハイライト連携によりデバッグ効率が格段に向上します。

またコードカバレッジを用いてテストの網羅性を測定し定量化できるため、シミュレーシの抜け、漏れを防ぐことができます。
ModelSimは標準規格を厳格にサポートしており、どのような設計フローにも開発プロセスにも、容易に取り込むことが可能です。

ModelSim 詳細へ

ModelSimをご検討の方はQuesta Baseも併せてご検討されることをお奨めします。

Questa Base 詳細へ

>　ModelSim/Questa エディション比較表へ

Questa Base

Questa Base は、最先端の検証技術を実現する Questa Advanced Simulation に対するエントリーモデルです。ModelSimに近い導入しやすさを実現しつつ、大規模シミュレーションに対応しています。

ハイエンドシミュレータ、QuestaSimで実績のあるQrunフローやチェックポイント機能もサポートしており、個々のシミュレーション性能のみならず、コンパイル、最適化、シミュレーション、デバッグから成る一連のフローにおける生産性を向上させることができます。

VHDLやSystemVerilog、およびその混在シミュレーションをサポートします。またアサーション言語であるSVAやPSLもサポートしており、検証の自動化、検証資産の再利用、そしてバグ特定とデバッグの容易化を推し進めることができます。

さらに検証プロジェクトの50%近くにもなるデバッグプロセスの効率を高めるために、最新デバッグ環境である Visualizer を標準デバッグ環境として採用しています。

Questa Base 詳細へ

>　ModelSim/Questa エディション比較表へ

Questa

Questaはシミュレーションおよびフォーマルエンジンを用いて、最先端の機能検証手法を実現しプロセスを管理するためのプラットフォームです。シミュレーションではアサーションベース検証はもちろん、制約付きランダムテスト、IEEE標準のUVMおよび多彩な検証IP、ポータブル・スティミュラスにも対応しています。

また非同期クロックに伴うメタスタビリティ検証やローパワー検証、ソフトウェアドリブンの検証も含まれています。フォーマル検証ではプロパティチェックだけでなく、アサーション不要の自動チェック、接続性検証、SLEC等価性検証、レジスタ検証、セキュリティ検証など数多くのアプリが充実しています。
機能検証のすべての結果はUCDBと呼ばれるカバレッジデータベースに集約され、検証プロセスの管理ツールやジョブ実行ツールと連携することで、その多くが自動化、最適化され、高い検証効率を実現しています。

Questa 詳細へ

>　ModelSim/Questa エディション比較表へ