PR
【新登場】ワイヤレスデータロガーHD35シリーズ / WEBデータロガーHD50シリーズ
i.MX 8X ベースIoTエッジコンピューティング開発キット

RTLコード解析・検証ソリューション ALINT-PRO

アルデック・ジャパン(株)

RTLデザインの品質向上

【ALINT-PRO】は、コーディングスタイルと命名規則、RTLと合成結果のシミュレーション不一致、スムーズで最適な合成、正しいFSM記述、設計の後工程での問題、クロックおよびリセットツリーの問題、CDC、RDC、DFT、およびポータビリティと再利用のためのコーディングなどを中心に、VHDL、Verilog、SystemVerilogで記述されたRTLコードを解析する検証ソリューション。RTLとSDC (Synopsys Design Constraints)ソースファイルをベースにスタティック解析を行い、デザインの早期段階で重大なデザインの問題点を見つけ出し、設計時間の大幅短縮に貢献。RTLシミュレーションおよび論理合成前にALINT-PROを実行すれば、デザイン上の問題をデザインフローの下流工程に波及する前に防ぎ、デザイン完成までに必要となる手戻りの回数を削減する。

この製品が気になった方はこちら
製品カタログ
お問い合わせ

仕様

用途 RTLデザインの品質向上、再利用性向上、RTLシミュレーションと合成後シミュレーションのミスマッチを防止、非同期転送の安全性の向上
対応規格 STARC(Semiconductor Technology Academic Research Center:半導体理工学研究センター)およびRMM(Reuse Methodology Manual)デザインガイドライン

その他の情報

特長
■RTLコードを解析する検証ソリューション
■デザイン・フローの早期にバグを検出
■包括的なルールライブラリ
■デザイン制約をサポート
■スタティック検証によるチェックで問題個所を明確化

主な機能
■クロック・リセット・ネットワークの解析
■ RTLシミュレーションと合成後シミュレーションのミスマッチを防止
■コードのポータビリティと再利用性
■FSM記述の正確性の検証
■検出されたFSMのグラフィカルな解析と特定されたFSM問題
■スケマティックビューアー
■業界標準の設計スタイルガイド(STARC/RMM)をサポート
■ALDEC_CDCルールプラグインによる広範なCDCおよびRDCチェック
■高度なCDCおよびRDCデバッグ環境
■SDCサポート
■IP記述用のデザイン制約拡張

関連製品カタログ

RTLコード解析・検証ソリューション ALINT-PRO

『ALINT-PRO』は、コーディングスタイルと命名規則、RTLと合成結果のシミュレーション不一致、スムーズで最適な合成、正しいFSM記述、 設計の後工程での問題、クロックおよびリセットツリーの問題、CDC、RDC、DF...

長時間労働抑止システム「Chronowis」カタログ
PrimerPlex
帳票・BIダッシュボード作成ツール FineReport
TiffWriter
Beacon Designer™
生産現場向け業務改善ソリューション カタログ
Romax Spin

動画

会社情報

アルデック・ジャパン(株)

アルデック・ジャパン(株)
〒1410022
東京都 品川区東五反田1-7-11 AIOS 五反田アネックス 4F
電話: 03-6277-2850
https://www.aldec.com/jp