アルファベット順製品一覧リスト

  • Certe Testbench Studio

    Certe Testbench Studioは、複雑なASIC/FPGA設計においてOVM/UVM、SystemVerilogベースのテストベンチを短期間で作成し、細部まで完全に把握できる、強力で使いやすいテスト環境です。

  • FormalPro

    FormalProは、ASICおよびICのリグレッション・テストに対応したハイ・キャパシティ等価性検証ソリューションです。フォーマル検証手法を利用して設計とゴールデン・リファレンス・モデルとの等価性を証明します。

  • HDL Designer

    HDL Designerには、IBD（Interface-Based Design）スプレッドシート・エディタ、ブロック図、ステートマシン、真理値表、フローチャート、アルゴリズミック・ステートマシン・エディタなど、スムーズな開発を支援する高度な設計エディタが豊富に用意されています。

  • iSolve Application Solutions

    組込みシステムおよびSoC設計を検証するための高性能で大規模対応のハードウェア支援ソリューションです。

  • ModelSim

    ModelSimは優れた性能と大規模対応に加え、高度なコード・カバレッジとデバッグ機能を備えるなど、大規模なブロックやシステムをシミュレーションしてASICのゲートレベル・サインオフを達成するために必要な条件が揃っています。Verilog、VHDL、そしてSystemCの包括的なサポートは、単一言語および多言語による設計検証環境の基盤となっています。

  • Questa ADMS

    Questa ADMSは、数百万ゲート規模のアナログ／ミックスシグナルSoC設計において、トップダウン設計とボトムアップ検証を実現する、特定の言語に依存しないミックスシグナル・シミュレータです。

  • Questa Codelink

    Questa Codelinkは、RTLまたはゲートレベルのプロセッサ・モデルを使用してプロセッサベース設計の機能検証を行うための高度なデバッグ・ツールセットです。Questa Codelinkではプロセッサの可視性が飛躍的に向上し、プロセッサドリブン・テストで発生したエラーを短時間でデバッグできるなど、プロセッサドリブン検証に威力を発揮します。既存のプロセッサ・サインオフ・モデルに接続して使用できます。それによって設計やシミュレーション結果が変更されることはありません。

  • Questa Power Aware Simulator

    Questa Power Aware Simulatorを使用することで、設計プロセスのかなり早い段階から、実装予定の動的なパワー・マネジメントのアーキテクチャと動作を検証できます。

  • Questa Verification IP

    Questa Verification IPを使用すると、テストベンチ開発全般にかかる時間を短縮し、より少ない労力でより多くの検証を完了できます。

  • Questa Verification Management

    IC設計プロジェクトには、プロセス、ツール、データの3つの側面があります。Questaは、拡張性の高いモジュラ型ソリューションであり、その検証管理機能を使用してあらゆる問題に対処できる包括的なアプローチを提供します。

  • Questa Advanced Simulator

    Questa Advanced Simulatorは、高性能で大規模対応のシミュレーション機能と、高度な統合デバッグ機能をあわせ持ち、Verilog、SystemVerilog、VHDL、SystemC、PSL、UPFをもっとも完全にネイティブでサポートします。

  • Questa CDC Verification

    Questa Clock Domain Crossing（CDC）検証ソリューションでは、クロック・ドメイン間の相互の影響に重点が置かれています。Questa CDCは、シミュレーションベースの検証技術では対処できない、多数の重要な検証問題を解決します。

  • Questa Formal Verification

    Questa Formal Verificationは、設計上考えられるすべての動作を解析し、潜在するエラー状態を検出することで、シミュレーションベースのRTL設計検証を補完します。

  • Questa inFact

    Questa inFactは、従来の制約付きランダム・テストが果たす役割を対象としていますが、10倍から100倍早くカバレッジ目標を達成します。

  • ReqTracer

    FPGA/ASIC設計フローにおける要求仕様を管理します。ReqTracerはハードウェア仕様からHDLコーディング、実装、検証、正当性検証までの要求仕様の追跡性を簡略化、自動化します。

  • TestBench XPress

    組込みシステムおよびSoC設計を検証するための高性能で大規模対応のハードウェア支援ソリューションです。

  • Veloceトランザクタ

    組込みシステムおよびSoC設計を検証するための高性能で大規模対応のハードウェア支援ソリューションです。

  • Veloce VirtuaLABソリューション

    組込みシステムおよびSoC設計を検証するための高性能で大規模対応のハードウェア支援ソリューションです。

  • Veloce2

    組込みシステムおよびSoC設計を検証するための高性能で大規模対応のハードウェア支援ソリューションです。

  • Vista Architect

    Vista Designソリューションの機能をすべて含んだ上位ソリューションのVista Architectは、TLM 2.0をベースにしたアーキテクチャ設計および探索のための完全なソリューションです。システム・アーキテクトやSoC設計者は、アーキテクチャについて適切な判断を下し、複雑なシステムのプロトタイプ作成と解析を行えるようになります。

  • Visual Elite

    Visual Eliteは最先端の設計／統合プラットフォームで、設計者やシステム・アーキテクトはSystemC、TLM 2.0、HDLブロックを直観的にキャプチャして複雑なSoCやシステムに接続することができます。