ツール・アセスメントおよびクオリフィケーションのプロセス

ツール・アセスメントとクオリフィケーションの目的は、所定のデザインや検証をツールで行うときに容認できる信頼レベルでできるかどうか確認することです。DO-254でツールをデザインや検証に使う前に、ツール・アセスメントを実施して、必要なら基本ツール・クオリフィケーションのプロセスを文書に記録しておきます。

アルデックは、RTCA/DO-254 Section 11.4「Tool Assessment and Qualification Process」に規定された厳格なプロセスに沿って、自社のツールを厳正に検査しました。可能であれば、独自のアセスメントを達成するために手作業で検証結果を確認することをお勧めします。手作業での確認が無理なら、アルデックのDO-254ツール専用のツール・クオリフィケーション・データバッケージを提供します。

DO-254/CTS™ツール・クオリフィケーション・データバッケージ

総合的なツール・クオリフィケーション前データパッケージ。認証申請者は自分のライフサイクル・データに合わせて簡単にカスタマイズできます。このデータパッケージはデザイン保証レベル (DAL) AおよびBのFPGAに適用することが推奨されます。そのようなFPGAをターゲットとしてテストする場合、ツールの自動検証機能に信頼性が必要です。データパッケージの構成は次の通りです。

ツール・クオリフィケーション計画 – 求められる信頼度で、DO-254/CTSが予測通りの動作をして、デザイン・エラーを見逃さず、求められる信頼度を達成することを示すために使用します。カスタムCVTソフトウェア、カスタムドーターボード、COTSマザーボードなどのDO-254/CTSコンポーネントはアルデックの診断用デザインで厳格にテスト済みです。診断用デザインはお客様のテスト対象デザイン (DUT) のI/Oインタフェースとクロックを模して制作します。
ツール・オペレーション要件 – ツールのオペレーション要件や機能要件は5個のカテゴリ (Information, Diagnostic, Configuration, Error Detection, Comparison) に分類されます。
ツールテスト計画 – テストケースを取り込んで、所定のツール要件を検証します。テストケースはテスト記述、テスト手続、VHDLデザイン、テストスクリプト、入力ファイルおよび期待される結果で構成されます。テストは支給のテストスクリプトを用いてお客様の敷地内で繰り返し実行できます。
ツール・クオリフィケーション完了サマリ – ツール・クオリフィケーション完了サマリ – テスト結果を文書化し、テストケースに合格か不合格かを判断します。ツール要件、テストケースとテスト結果のトレーサビリティ・マトリクスも記述されます。ツール要件、テストケースおよびテスト結果のアクティビティ・レポートも添付されます。レビューはチェックリストを基にアルデックの担当者が行います。

ALINT-PRO™デザインルール・チェッカー・ツール・クオリフィケーション・パッケージ

カスタマイズ可能なツール・クオリフィケーション・パッケージには、ALINT-PRO™で利用可能なデザインルール・チェッカーがユーザープロジェクト向けに動作することを証明するために必要な包括的テストスイートとドキュメントが含まれています。このパッケージは、ALINT-PRO™ が HDL コーディング標準を実施するために使用される A および B Design Assurance Level（DAL）のプロジェクトに使用することをお勧めします。このクオリフィケーション・パッケージには以下が含まれています：

ALINT-PRO™ツールがデザインルール違反を適切に検出するかどうかを検証するために必要なHDLソースファイル、スクリプト、およびパターンを含むクオリフィケーション・テストスイート。このテスト・スイートは、ユーザーがプロジェクトに含めるために選択したすべてのALINT-PRO™ルールをカバーしています。すべてのルール・チェッカーは、ポジティブケースとネガティブケースに対して他チェッカーから分離して検証されます。
ツールの説明、ツールの操作要件、クオリフィケーション・テスト・プランとテスト内容、クオリフィケーション・テストの結果、ユーザーのデザイン標準要求とALINT-PRO™リンティングルール間のトレーサビリティを含むクオリフィケーション・ドキュメント。

Active-HDL™とRiviera-PRO™のコード・カバレッジ・ツール・クオリフィケーション・データパッケージ

現在、RTCA/DO-254 Section 11.4.1 #4に記載されているガイダンスでは、コード・カバレッジ・ツールで要素解析が実行された場合、ツール・クオリフィケーションは必要とされない、とされています。しかし、認証機関によっては、コード・カバレッジにも所定のDO-254プログラムについてツール・クオリフィケーションを受けるよう要求しています。いずれにせよ、アルデックはRTCA/DO-254セクション11.4規定の厳格なツール・クオリフィケーション・プロセスに従ってActive-HDL™とRiviera-PRO™のコード・カバレッジ・ツールを厳密にテストし、合格しています。コード・カバレッジのテスト用に生成される要求は、IEEE Std 1076™-2008 VHDL Language Reference Manual (LRM) 4章・10章・11章の実行可能構造体をベースにしています。アルデックはVHDLテストケースとツール・クオリフィケーション計画、ツール・オペレーション要求、ツール・テスト計画、ツール・クオリフィケーション完了サマリなどの色々な文書を含むデータパッケージを提供しています。このパッケージは、Active-HDL™やRiviera-PRO™で利用可能なコード・カバレッジ・ツールが正確なブランチおよびステートメント・カバレッジ・メトリックスを示すことを証明しています。

HDLシミュレータの独自ツール・アセスメント

Active-HDLやRiviera-PRO、サードパーティのHDLシミュレータなどのHDLシミュレータは、DO-254/CTSで個別に査定できます。RTLシミュレーションからのテストベンチはFPGA物理検証中にDO-254/CTSでテストベクタとして再利用できるので、ハードウェア・テストとRTLシミュレーション結果のマッピングと比較対照は簡単にできます。