アルデック・ジャパン株式会社 RTLコード解析・検証ソリューション ALINT-PRO
- 最終更新日:2020-12-23 15:47:05.0
- 印刷用ページ
『ALINT-PRO』は、コーディングスタイルと命名規則、RTLと合成結果のシミュレーション不一致、スムーズで好適な合成、正しいFSM記述、 設計の後工程での問題、クロックおよびリセットツリーの問題、CDC、RDC、DFT、およびポータビリティと再利用のためのコーディングなどを中心に、VHDL、Verilog、SystemVerilogで記述されたRTLコードを解析する検証ソリューションです。
このソリューションは、RTLとSDC (Synopsys Design Constraints)ソースファイルをベースにスタティック解析を行い、デザインの早期段階で重大なデザインの問題点を見つけ出し、設計時間の大幅短縮に貢献します。
RTLシミュレーションおよび論理合成前にALINT-PROを実行すれば、デザイン上の問題をデザインフローの下流工程に波及する前に防ぎ、デザイン完成までに必要となる手戻りの回数を削減します。
※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
基本情報 RTLコード解析・検証ソリューション ALINT-PRO
【特長】
■RTLコードを解析する検証ソリューション
■デザイン・フローの早期にバグを検出
■包括的なルールライブラリ
■デザイン制約をサポート
■スタティック検証によるチェックで問題個所を明確化
【主な機能】
■クロック・リセット・ネットワークの解析
■ RTLシミュレーションと合成後シミュレーションのミスマッチを防止
■コードのポータビリティと再利用性
■FSM記述の正確性の検証
■検出されたFSMのグラフィカルな解析と特定されたFSM問題
■スケマティックビューアー
■業界標準の設計スタイルガイド(STARC/RMM)をサポート
■ALDEC_CDCルールプラグインによる広範なCDCおよびRDCチェック
■RISC-Vに焦点を当てたスタティック検証ルールセット
■高度なCDCおよびRDCデバッグ環境
■SDCサポート
■IP記述用のデザイン制約拡張
※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
価格情報 | お気軽にお問い合わせください。 |
---|---|
納期 | ~ 1週間 |
用途/実績例 | RTLデザインの品質向上、再利用性向上、RTLシミュレーションと合成後シミュレーションのミスマッチを防止、非同期転送の安全性の向上 |
カタログ RTLコード解析・検証ソリューション ALINT-PRO
取扱企業 RTLコード解析・検証ソリューション ALINT-PRO
RTLコード解析・検証ソリューション ALINT-PRO へのお問い合わせ
お問い合わせ内容をご記入ください。