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