アルデック・ジャパン株式会社
最終更新日:2023-09-04 13:46:44.0
RTLコード解析・検証ソリューション ALINT-PRO
基本情報RTLコード解析・検証ソリューション ALINT-PRO
Windows/Linuxで動作可能なスタティックデザイン解析ツール
『ALINT-PRO』は、コーディングスタイルと命名規則、RTLと合成結果のシミュレーション不一致、スムーズで好適な合成、正しいFSM記述、 設計の後工程での問題、クロックおよびリセットツリーの問題、CDC、RDC、DFT、およびポータビリティと再利用のためのコーディングなどを中心に、VHDL、Verilog、SystemVerilogで記述されたRTLコードを解析する検証ソリューションです。
このソリューションは、RTLとSDC (Synopsys Design Constraints)ソースファイルをベースにスタティック解析を行い、デザインの早期段階で重大なデザインの問題点を見つけ出し、設計時間の大幅短縮に貢献します。
RTLシミュレーションおよび論理合成前にALINT-PROを実行すれば、デザイン上の問題をデザインフローの下流工程に波及する前に防ぎ、デザイン完成までに必要となる手戻りの回数を削減します。
※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
RTLコード解析・検証ソリューション ALINT-PRO
『ALINT-PRO』は、コーディングスタイルと命名規則、RTLと合成結果のシミュレーション不一致、スムーズで好適な合成、正しいFSM記述、 設計の後工程での問題、クロックおよびリセットツリーの問題、CDC、RDC、DFT、およびポータビリティと再利用のためのコーディングなどを中心に、VHDL、Verilog、SystemVerilogで記述されたRTLコードを解析する検証ソリューションです。
このソリューションは、RTLとSDC (Synopsys Design Constraints)ソースファイルをベースにスタティック解析を行い、デザインの早期段階で重大なデザインの問題点を見つけ出し、設計時間の大幅短縮に貢献します。
RTLシミュレーションおよび論理合成前にALINT-PROを実行すれば、デザイン上の問題をデザインフローの下流工程に波及する前に防ぎ、デザイン完成までに必要となる手戻りの回数を削減します。
※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。 (詳細を見る)
取扱会社 RTLコード解析・検証ソリューション ALINT-PRO
RTLコード解析・検証ソリューション ALINT-PROへのお問い合わせ
お問い合わせ内容をご記入ください。