PegaSimは高性能で言語混在のデジタル・ロジック・シミュレータです。PegaSimは革新的なアルゴリズムを利用し、高性能シミュレーションと制約付きランダムのソルバを実現しています。

PegaSimは、Prodigy FPGAプロトタイピング、クラウドサービスと連携し、さまざまな検証ニーズに応えます。IPやサブシステムの検証から完全なシステムのバリデーションまで、複数の検証シナリオにわたってSoCの検証を加速します。

主な特徴

·        さまざまな設計・検証言語 – Verilog、SystemVerilog、VHDL、UVMのメソドロジをサポート

·        コードカバレッジ – Line/Block、Toggle、Expressionの解析をサポート

·        複数のプロセッサ・アーキテクチ – X86、RISC-V、ARMをサポート