ALINT-PROと基本ルール・ライブラリCategory : デザイン・ルール・チェックアルデック®のALINT-PRO™はシミュレーションや合成よりも前に、VHDL, Verilogおよび混合HDLのコードを解析するツールです。ユーザ選択で、いくつかのカテゴリに分かれたプリセットのルールが守られているかチェックします。ALINT-PROは基本的に合成ツールと同じレポートを出しますが、合成ツールが合成中にバグを検出するのに対し、ALINT-PROはRTLレベル（デザイン作成中）に検出します。ALINT-PROは高機能ルール管理、違反サマリ/表示/レポート機能、設定管理アプリケーションなどを備えています。ALINT-PROの基本ルール・ライブラリには95個のVHDL/Verilogルールが用意されています。ルールのグループには次のものがあります。 コーディングスタイル・ルール テスト容易化デザイン（DFT）のルール デザイン・スタイル・ルール 言語構造ルール シミュレーション・ルール 合成ルール
