文献

J-GLOBAL ID：201102298676785034   整理番号：11A0959100

安全で証明可能なFPGA設計のためのVHDLガイダンス

VHDL GUIDANCE FOR SAFE AND CERTIFIABLE FPGA DESIGN

著者 (3件)： CONMY P.M. (Univ. York, Heslington, GBR) ,  PYGOTT C. (Columbus Computing Ltd, Malvern, GBR) ,  BATE I (Univ. York, Heslington, GBR)
資料名： IET Conference Publications  (IET Conference Publications)
巻： 567  ページ： 143-148  発行年： 2010年 
JST資料番号： B0665A  ISSN： 0537-9989  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 本論文の目的は,特にクリティカルな応用にFPGAを構成する場合に,VHDLのためのサブセットおよびスタイル指導を始める議論を提供することである。究極の目標は,SPARK,AdaまたはMISRA Cと同等な認められた言語サブセットの開発を奨励することである。多くのさまざまなソース,特に汎用言語脆弱性に関するISOドラフトガイダンスの応用を調べた。これから,変数,信号初期化処理,およびビット表示を含む多くの重要な問題が特定された。さらに,ISOドラフトでカバーされなかった追加VHDL特定領域,例えば基盤となるハードウェアへの同時実行や密結合方式など考慮した。本論文は,関心に関する総覧をまとめるのを試みたが,多重の資源を見ることによって,議論した領域は広く及び,時折矛盾している。追加研究が,記載された領域の完全性,正当性,および報告範囲を評価するために必要である。

シソーラス用語： *FPGA ,  ハードウェア設計 ,  *VHDL ,  指導 ,  *安全性 ,  部分集合 ,  型 ,  変数 ,  初期値設定 ,  国際標準化機構 ,  ドラフト
準シソーラス用語： ISO【国際機関】 ,  ガイダンス ,  サブセット ,  スタイル ,  安全 ,  初期化処理 ,  証明可能安全性

分類 (2件)： 半導体集積回路  (NC03162T) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (5件)： 証明 ,  FPGA ,  設計 ,  VHDL ,  ガイダンス