アルデック、マイクロチップ社のFPGAおよびSoC FPGA設計のための自動スタティックリンティングとCDC解析をリリースDate: 2023/02/06 Type: ReleaseHenderson, NV, USA – 2023年2月6日 – HDL混在言語シミュレーションとFPGAおよびASICのハードウェア・アシステッド・ベリフィケーションのパイオニアである Aldec, Inc. (以下「アルデック」）は、人気のリンティングツール ALINT-PROをアップデートし、マイクロチップ社のLibero® SoC Design Suiteのサポートを強化しました。新リリースでは、VHDL、Verilog、SystemVerilogのハードウェアデザインのスタティックリンティングとクロックドメインクロッシング（CDC）解析のために、LiberoプロジェクトをALINT-PROの環境に自動変換する機能をサポートしています。 スタティックリンティングは、不適切なコーディングスタイル、不適切なクロックおよびリセット管理、シミュレーションと合成後のアンマッチ、正しく実装されていない有限ステートマシン（FSM）など、デザインフロー全体を通してソースコードの典型的な問題など、さまざまなデザイン上の問題を検出することが可能です。CDC解析は、複数の非同期クロックを持つデザインに不可欠であり、現在の大規模FPGAおよびSoC FPGAデザインに不可避的に現れるメタスタビリティの結果としてのデータの非干渉性などの非決定性問題の軽減に貢献します。 アルデックのマーケティングディレクタ Louie De Lunaのコメント：「スタティックリンティングや CDC 解析などの高度な検証ツールを使用することで、製品に含まれる重要なバグを大幅に削減、エンジニアリングリソースの節約、さらにはFPGAおよびSoC FPGAデザインの信頼性を向上させることができます。当社は1987年以来、マイクロチップ社のFPGAビジネスユニットと長期にわたる良好なパートナーシップを築いてきました。この関係を継続し、ユーザーに価値を提供できることをうれしく思います。」 マイクロチップ社のシニアマーケティングマネージャ Joe Mallettのコメント：「FPGAデザインはますます大規模化、複雑化しており、言語や構造のエラーを早期に検出する必要があります。Libero SoC Design Suiteを使用している設計者は、アルデックのALINT-PROを利用することで、FPGAデザインサイクルの早い段階で機能エラーを検出することができます。」 ALINT-PROの最新リリースに伴い、アルデックとマイクロチップ社は2023年3月2日に開催されるWebセミナー「Linting and CDC Analysis for Microchip FPGA Designs」を実施する予定です。 ALINT-PRO 2022.12 のダウンロードと評価が可能となっています。 Microchip Libero®からALINT-PROへのプロジェクト変換ウィザードと不足ファイルへのフラグ付け機能 ALINT-PROについて ALINT-PRO™は、VHDL、Verilog、SystemVerilogで記述されたRTLコードのための設計検証ソリューションです。コーディングスタイルと命名規則、RTLと合成後のシミュレーションの不一致、スムーズで最適な合成、正しいFSM記述、クロックとリセットツリーの問題、CDC、RDC、DFT、移植性と再利用のためのコーディングなどを検証することに重点を置いています。 ALINT-PROは、RTLとSDC™のソースファイルに基づいて静的解析を行い、デザインサイクルの早い段階で重要なデザインの問題を発見し、デザインのサインオフ時間を劇的に短縮します。RTLシミュレーションと論理合成段階の前にALINT-PROを実行することで、設計の問題が設計フローの下流段階に波及するのを防ぎ、設計を完了するために必要な反復回数を削減することができます。 アルデックについて 1984年に設立したアルデックは、エレクトロニクス・デザイン検証のインダストリ・リーダです。RTL設計、RTLシミュレータ、ハードウェア・アシステッド・ベリフィケーション、SoC/ASICエミュレーション・プロトタイピング、デザインルールチェック、CDC検証、IPコア、要求ライフサイクル管理、DO-254機能検証、ハイパフォーマンスコンピューティングおよび軍事／航空宇宙向けソリューションといったパテントを取得したテクノロジを提供しています。 www.aldec.com Aldec is a registered trademark of Aldec, Inc. All other trademarks or registered trademarks are the property of their respective owners.
