Skip to main content
このページは自動翻訳を使用して表示されます。 元の英語を表示しますか?
サーバーラックのあるデータセンターのコンピューターモニターに表示される作業について話し合っている2人のIT専門家。

Questa One Sim Xact

Questa One Sim Xactは革新的なフォーマル分析とフロー自動化で、GLSの立ち上げを効率化し、より適切で完全なサインオフ検証を実現します。

なぜQuesta One Sim Xactを使うのですか?

Questa One Sim Xactでは、診断が難しい接続上の問題を切り分けると同時に、厄介な偽X、ゼロ遅延の競合状態、ライブラリのモデリングエラーを自動的に排除することで、ゲートレベルのシミュレーションをより迅速に起動できます。さらに、高度なリアルX根本原因追跡ツールもサポートしています。

GLSのX悲観主義を排除します

形式的に強化されたロジックシミュレーションは、Xペシミズム分析を動的に実行し、データパスとゲートクロックロジック内のX伝播を分析し、その場で修復します。

ゼロディレイGLSの競合状態を解消します

ゼロ遅延GLSは、特にゲートクロックとディレイラインを備えた設計では、競合状態になることがあります。「Pseudo-SDF」ジェネレーターは、セルライブラリを変更しなくても、競合状態の問題を効率的に解決します。

GLSの強制と接続の問題を明らかにします

力/解放伝播解析により、力が最適化され、ファンアウトロジックが駆動されなくなったことを確認します。接続分析は、Xソースを生成している非駆動入力のモジュールを見つけます。

Questa One Sim Xact

フォーマルベースのX悲観主義除去ソリューション

Questa One Sim Xactは、ゲートレベルのシミュレーションを迅速かつ簡単に起動するための強化された方法論を提供します。その特許技術により、コンビナトリアル解析を使用してシミュレーションを効果的に分析し、フリップフロップのD入力のX値がX悲観論による誤りなのか実数なのかを判断できます。誤ったXが自動的に排除され、ゲートレベルのシミュレーションで正しい結果が得られます。

ラップトップでソフトウェアをデバッグするエンジニア。

Questa One Sim についての知識を深めましょう

サポートセンター

Siemens EDA は、Questa One Simとすべての製品に対して世界クラスのカスタマーサポートを提供しています。

検証アカデミー

検証アカデミーは、組織の機能検証プロセスの能力を成熟させるために必要なスキルを提供し、高レベルの価値提案と低レベルの詳細をつなぐ方法論的な橋渡しをします。

検証ホライズンズブログ

高度な機能検証技術とそれらを最も効果的に適用する方法を理解するために、私たちのブログにアクセスして、概念、価値、基準、方法論、例に関する洞察と最新情報を入手してください。